techniques.FOL
Class Function

java.lang.Object
  |
  +--techniques.FOL.Term
        |
        +--techniques.FOL.Function
All Implemented Interfaces:
java.lang.Cloneable

public class Function
extends Term


Constructor Summary
Function(Symbol functionSymbol, TermList terms)
           
 
Method Summary
 java.lang.Object clone()
           
 Symbol getFunctionSymbol()
           
 TermList getTerms()
           
 java.util.Vector obtainVariables()
          from Term abstract class retrieves all the Variables and returns them in a Vector.
 Term removeQuantifiers(java.util.Vector quantifications)
           
 Term substitute(Substitution s)
          from Term abstract class only the terms of the function are of concern.
 Term substituteVariable(Variable oldVar, Term newVar)
           
 java.lang.String toString()
           
 Substitution unify(Term t, Substitution s)
          Implementation abstract method from Term.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Function

public Function(Symbol functionSymbol,
                TermList terms)
Method Detail

clone

public java.lang.Object clone()
Overrides:
clone in class Term

getFunctionSymbol

public Symbol getFunctionSymbol()

getTerms

public TermList getTerms()

unify

public Substitution unify(Term t,
                          Substitution s)
Implementation abstract method from Term.
Overrides:
unify in class Term

substituteVariable

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

substitute

public Term substitute(Substitution s)
from Term abstract class only the terms of the function are of concern. Returns a new Function object with appropriate terms replaced
Overrides:
substitute in class Term

obtainVariables

public java.util.Vector obtainVariables()
from Term abstract class retrieves all the Variables and returns them in a Vector.
Overrides:
obtainVariables in class Term

removeQuantifiers

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

toString

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