techniques.FOL
Class Variable

java.lang.Object
  |
  +--techniques.FOL.Term
        |
        +--techniques.FOL.Variable

All Implemented Interfaces:

java.lang.Cloneable

public class Variable

extends Term

Constructor Summary

Variable(java.lang.String name)

Variable(java.lang.String name, java.lang.String realName)

 

Method Summary
boolean	equals(java.lang.Object o)
java.lang.String	getName()
int	hashCode()
java.util.Vector	obtainVariables()           from Term abstract class.
Term	removeQuantifiers(java.util.Vector quantifications)
Variable	rename()           Generate a new variable whose name is with a unique numeric suffix
Term	substitute(Substitution s)           from Term abstract class
Term	substituteVariable(Variable oldVar, Term newVar)           implemented from interface Term if oldVar's name is equal to the name of this, replace with newVar.
java.lang.String	toString()
Substitution	unify(Term t, Substitution s)           Implements abstract method from Term.

 

Methods inherited from class techniques.FOL.Term

clone

 

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

 

Constructor Detail

Variable

public Variable(java.lang.String name)

Variable

public Variable(java.lang.String name,
                java.lang.String realName)

getName

public java.lang.String getName()

unify

public Substitution unify(Term t,
                          Substitution s)

Implements abstract method from Term. Attempts to find the mgu of and .

Overrides:

unify in class Term

rename

public Variable rename()

Generate a new variable whose name is with a unique numeric suffix

substitute

public Term substitute(Substitution s)

from Term abstract class

Overrides:

substitute in class Term

substituteVariable

public Term substituteVariable(Variable oldVar,
                               Term newVar)

implemented from interface Term if oldVar's name is equal to the name of this, replace with newVar.

Overrides:

substituteVariable in class Term

removeQuantifiers

public Term removeQuantifiers(java.util.Vector quantifications)

Overrides:

removeQuantifiers in class Term

obtainVariables

public java.util.Vector obtainVariables()

from Term abstract class. Since this is sort of the base case, create a new Vector with this as the sole element.

Overrides:

obtainVariables in class Term

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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