techniques.FOL
Class TermList
java.lang.Object
|
+--techniques.FOL.TermList
- All Implemented Interfaces:
- java.lang.Cloneable
- public class TermList
- extends java.lang.Object
- implements java.lang.Cloneable
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
TermList
public TermList(Term first,
TermList _rest)
clone
public java.lang.Object clone()
getFirst
public Term getFirst()
getRest
public TermList getRest()
length
public int length()
obtainVariables
public java.util.Vector obtainVariables()
- see Proposition.obtainVariables()
get the variables in this list of terms
unify
public Substitution unify(TermList tl,
Substitution s)
- Assumed that this.length() == tl.length()
substituteVariable
public TermList substituteVariable(Variable oldVar,
Term newVar)
substitute
public TermList substitute(Substitution s)
removeQuantifiers
public TermList removeQuantifiers(java.util.Vector quantifications)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object