techniques.FOL
Class Term

java.lang.Object
  |
  +--techniques.FOL.Term

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

ConstantTerm, Function, Variable

public abstract class Term

extends java.lang.Object

implements java.lang.Cloneable

Constructor Summary

Term()

 

Method Summary
java.lang.Object	clone()
abstract  java.util.Vector	obtainVariables()           returns a Vector of Terms that are Variables.
abstract  Term	removeQuantifiers(java.util.Vector quantifications)
abstract  Term	substitute(Substitution s)
abstract  Term	substituteVariable(Variable oldVar, Term newVar)
abstract  Substitution	unify(Term t, Substitution s)           Given two terms, return their most general unifier, or null if they don't unify.

 

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

Term

public Term()

clone

public java.lang.Object clone()

substituteVariable

public abstract Term substituteVariable(Variable oldVar,
                                        Term newVar)

removeQuantifiers

public abstract Term removeQuantifiers(java.util.Vector quantifications)

unify

public abstract Substitution unify(Term t,
                                   Substitution s)

Given two terms, return their most general unifier, or null if they don't unify. may be mutated.

public abstract java.util.Vector obtainVariables()

public abstract Term substitute(Substitution s)