techniques.FOL
Class Function
java.lang.Object
|
+--techniques.FOL.Term
|
+--techniques.FOL.Function
- All Implemented Interfaces:
- java.lang.Cloneable
- public class Function
- extends Term
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Function
public Function(Symbol functionSymbol,
TermList terms)
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