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


Constructor Summary
TermList(Term first, TermList _rest)
           
 
Method Summary
 java.lang.Object clone()
           
 Term getFirst()
           
 TermList getRest()
           
 int length()
           
 java.util.Vector obtainVariables()
          see Proposition.obtainVariables() get the variables in this list of terms
 TermList removeQuantifiers(java.util.Vector quantifications)
           
 TermList substitute(Substitution s)
           
 TermList substituteVariable(Variable oldVar, Term newVar)
           
 java.lang.String toString()
           
 Substitution unify(TermList tl, Substitution s)
          Assumed that this.length() == tl.length()
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TermList

public TermList(Term first,
                TermList _rest)
Method Detail

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