com.grack.prologmachine
Class Variable

java.lang.Object
  |
  +--com.grack.prologmachine.Variable

public class Variable
extends java.lang.Object
implements Unifiable


Constructor Summary
Variable(java.lang.String name)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 java.lang.String getName()
           
 int hashCode()
           
 boolean isValid()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Variable

public Variable(java.lang.String name)
Method Detail

getName

public java.lang.String getName()

isValid

public boolean isValid()

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object