rules
Class Term

java.lang.Object
  rules.Term

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Const, FTerm, SpecConst, Var

public class Term

extends java.lang.Object

implements java.lang.Cloneable

Constructor Summary

Term()

Method Summary

Term	apply(Subs s)
java.lang.Object	clone()
boolean	equals(Term t, Subs s)
void	fixTypeOf(Type t)
Type	getType()
boolean	hasFreeVars()
boolean	hasFreeVars(Subs s)
boolean	isSubtypeOf(Term t)
boolean	isSubtypeOf(Term t, Subs s)
boolean	isSubtypeOf(Type t)
boolean	isSubtypeOf(Type t, Subs s)
boolean	isSupertypeOf(Term t)
boolean	isSupertypeOf(Type t)
int	numOccurs(Term t)
boolean	occurs(Term t)
java.lang.String	toFileString()
java.lang.String	toShortString()
java.lang.String	toSS()
java.lang.String	toUnboundString()
Subs	unify(Term t, Subs s, Type type)

Methods inherited from class java.lang.Object

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

Constructor Detail

Term

public Term()

Method Detail

clone

public java.lang.Object clone()

toUnboundString

public java.lang.String toUnboundString()

apply

public Term apply(Subs s)

unify

public Subs unify(Term t,
                  Subs s,
                  Type type)

getType

public Type getType()

fixTypeOf

public void fixTypeOf(Type t)

isSubtypeOf

public boolean isSubtypeOf(Term t)

isSupertypeOf

public boolean isSupertypeOf(Term t)

isSubtypeOf

public boolean isSubtypeOf(Type t)

isSupertypeOf

public boolean isSupertypeOf(Type t)

isSubtypeOf

public boolean isSubtypeOf(Term t,
                           Subs s)

isSubtypeOf

public boolean isSubtypeOf(Type t,
                           Subs s)

equals

public boolean equals(Term t,
                      Subs s)

hasFreeVars

public boolean hasFreeVars()

hasFreeVars

public boolean hasFreeVars(Subs s)

occurs

public boolean occurs(Term t)

numOccurs

public int numOccurs(Term t)

toShortString

public java.lang.String toShortString()

toFileString

public java.lang.String toFileString()

toSS

public java.lang.String toSS()