|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object is.lill.acre.logic.Bindings
public class Bindings
Track variable bindings within a conversation
Constructor Summary | |
---|---|
Bindings()
|
Method Summary | |
---|---|
void |
addBinding(Term k,
Term v)
Add a binding for a term |
boolean |
binds(Term term)
Find if a binding is present for a given variable |
Term |
getBindingFor(Term t)
Get the bindings for a term |
java.lang.String |
toString()
Get a string representation of this set of bindings |
void |
update(Bindings b)
Update this set of bindings |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Bindings()
Method Detail |
---|
public boolean binds(Term term)
term
- A term to be checked
true
if term
is a variable and a binding exists for it.public Term getBindingFor(Term t)
t
- The term to check the bindings for
null
if t
is not a variable or if no appropriate binding existspublic void addBinding(Term k, Term v)
k
- The variable to create the value forv
- The value to be bound to the variable k
public java.lang.String toString()
toString
in class java.lang.Object
public void update(Bindings b)
b
- Another set of bindings to be added to this object. Overrides conflicting bindings.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |