|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicUnification
Prolog-like unification set.
Constructor Summary | |
LogicUnification()
|
Method Summary | |
boolean |
containsVariable(LogicVariable var)
Look if tha variables is assigned. |
boolean |
equals(java.lang.Object obj)
Equality method. |
LogicTerm |
get(LogicVariable var)
Get the term assigned to a variable, or null if not assigned. |
int |
hashCode()
Hashcode method. |
void |
put(LogicVariable var,
LogicTerm term)
Add a variable and its assigment. |
java.lang.String |
toString()
String conversion method. |
java.util.Set |
variableSet()
Return the set of the variables. |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public LogicUnification()
Method Detail |
public java.util.Set variableSet()
public void put(LogicVariable var, LogicTerm term)
public boolean containsVariable(LogicVariable var)
public LogicTerm get(LogicVariable var)
public boolean equals(java.lang.Object obj)
equals
in interface LogicObject
equals
in class java.lang.Object
public int hashCode()
hashCode
in interface LogicObject
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in interface LogicObject
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |