|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.clarkparsia.pellet.rules.VariableBinding
public class VariableBinding
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.
Constructor Summary | |
---|---|
VariableBinding(ABox abox)
|
|
VariableBinding(VariableBinding binding)
Shallow copies the binding maps. |
Method Summary | |
---|---|
boolean |
containsKey(AtomDVariable key)
|
boolean |
containsKey(AtomIVariable key)
|
java.util.Set<java.util.Map.Entry<AtomDVariable,Literal>> |
dataEntrySet()
|
java.util.Set<java.util.Map.Entry<? extends AtomVariable,? extends Node>> |
entrySet()
|
boolean |
equals(java.lang.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)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public VariableBinding(ABox abox)
public VariableBinding(VariableBinding binding)
Method Detail |
---|
public boolean containsKey(AtomDVariable key)
public boolean containsKey(AtomIVariable key)
public java.util.Set<java.util.Map.Entry<AtomDVariable,Literal>> dataEntrySet()
public java.util.Set<java.util.Map.Entry<? extends AtomVariable,? extends Node>> entrySet()
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public Literal get(AtomDObject key)
public Individual get(AtomIObject key)
public ABox getABox()
public int hashCode()
hashCode
in class java.lang.Object
public Literal set(AtomDObject key, Literal value)
public Literal set(AtomDVariable key, aterm.ATermAppl value)
public Individual set(AtomIObject key, Individual value)
public Individual set(AtomIVariable key, aterm.ATermAppl value)
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |