com.clarkparsia.pellet.rules

Class VariableBinding

java.lang.Object

com.clarkparsia.pellet.rules.VariableBinding

public class VariableBinding
extends Object

Title: Variable Binding

Description: Keeps variable bindings. Data and Individual variables are kept in seperate name spaces.

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Ron Alford

Constructor Summary

Constructors

Constructor and Description
VariableBinding(ABox abox)
VariableBinding(VariableBinding binding) Shallow copies the binding maps.

Method Summary

Modifier and Type	Method and Description
boolean	containsKey(AtomDVariable key)
boolean	containsKey(AtomIVariable key)
Set<Map.Entry<AtomDVariable,Literal>>	dataEntrySet()
Set<Map.Entry<? extends AtomVariable,? extends Node>>	entrySet()
boolean	equals(Object other)
Literal	get(AtomDObject key) If the key is a variable, return the node associated with it in the map.
Individual	get(AtomIObject key) If the key is a variable, return the individual associated with it in the map.
ABox	getABox()
int	hashCode()
Literal	set(AtomDObject key, Literal value) If the key is a data variable, set the value.
Literal	set(AtomDVariable key, aterm.ATermAppl value)
Individual	set(AtomIObject key, Individual value) If the key is an instance variable, set the value.
Individual	set(AtomIVariable key, aterm.ATermAppl value)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

VariableBinding

public VariableBinding(ABox abox)

VariableBinding

public VariableBinding(VariableBinding binding)

Shallow copies the binding maps.

Method Detail

containsKey

public boolean containsKey(AtomDVariable key)

containsKey

public boolean containsKey(AtomIVariable key)

dataEntrySet

public Set<Map.Entry<AtomDVariable,Literal>> dataEntrySet()

entrySet

public Set<Map.Entry<? extends AtomVariable,? extends Node>> entrySet()

equals

public boolean equals(Object other)

Overrides:

equals in class Object

get

public Literal get(AtomDObject key)

If the key is a variable, return the node associated with it in the map. If the key is a constant, return the corresponding node from the abox.

get

public Individual get(AtomIObject key)

If the key is a variable, return the individual associated with it in the map. If the key is a constant, return the corresponding individual from the abox.

getABox

public ABox getABox()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

set

public Literal set(AtomDObject key,
                   Literal value)

If the key is a data variable, set the value. Otherwise, ignore it.

set

public Literal set(AtomDVariable key,
                   aterm.ATermAppl value)

set

public Individual set(AtomIObject key,
                      Individual value)

If the key is an instance variable, set the value. Otherwise, ignore it.

set

public Individual set(AtomIVariable key,
                      aterm.ATermAppl value)

toString

public String toString()

Overrides:

toString in class Object