Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

techniques.FOL
Class ConstantTerm

java.lang.Object
  |
  +--techniques.FOL.Term
        |
        +--techniques.FOL.ConstantTerm
All Implemented Interfaces:
java.lang.Cloneable
public class ConstantTerm
extends Term

Constructor Summary
ConstantTerm(java.lang.String _name)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 java.util.Vector obtainVariables()
          From Term abstract class.
 Term removeQuantifiers(java.util.Vector quantifications)
           
 Term substitute(Substitution s)
          From Term abstract class since is all indexed by Variables, this should return itself
 Term substituteVariable(Variable oldVar, Term newVar)
           
 java.lang.String toString()
           
 Substitution unify(Term t, Substitution s)
          Taken from abstract method in Term.
 
Methods inherited from class techniques.FOL.Term
clone
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConstantTerm

public ConstantTerm(java.lang.String _name)
Method Detail

unify

public Substitution unify(Term t,
                          Substitution s)
Taken from abstract method in Term. Checks for equality. If not equal, returns null, else returns .
Overrides:
unify in class Term

removeQuantifiers

public Term removeQuantifiers(java.util.Vector quantifications)
Overrides:
removeQuantifiers in class Term

substituteVariable

public Term substituteVariable(Variable oldVar,
                               Term newVar)
Overrides:
substituteVariable in class Term

obtainVariables

public java.util.Vector obtainVariables()
From Term abstract class. returns an empty Vector, because a ConstantTerm has no variables in it.
Overrides:
obtainVariables in class Term

substitute

public Term substitute(Substitution s)
From Term abstract class since is all indexed by Variables, this should return itself
Overrides:
substitute in class Term

equals

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

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD