ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine
Class LogicUnification

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicUnification
All Implemented Interfaces:
LogicObject

public class LogicUnification
extends java.lang.Object
implements LogicObject

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

LogicUnification

public LogicUnification()
Method Detail

variableSet

public java.util.Set variableSet()
Return the set of the variables.

put

public void put(LogicVariable var,
                LogicTerm term)
Add a variable and its assigment.

containsVariable

public boolean containsVariable(LogicVariable var)
Look if tha variables is assigned.

get

public LogicTerm get(LogicVariable var)
Get the term assigned to a variable, or null if not assigned.

equals

public boolean equals(java.lang.Object obj)
Equality method.
Specified by:
equals in interface LogicObject
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Hashcode method.
Specified by:
hashCode in interface LogicObject
Overrides:
hashCode in class java.lang.Object

toString

public java.lang.String toString()
String conversion method.
Specified by:
toString in interface LogicObject
Overrides:
toString in class java.lang.Object
Returns:
a string image of the object, in a standard prolog form.