rules
Class FTerm

java.lang.Object
  rules.Term
      rules.FTerm

All Implemented Interfaces:

java.lang.Cloneable

public class FTerm

extends Term

Constructor Summary

FTerm(java.lang.String p, Lang l)

Method Summary

int	arity()
boolean	contains(Term t)
boolean	equals(java.lang.Object t)
boolean	equals(Term t, Subs s)
boolean	equalsButForArgs(java.lang.Object t)
void	fixType()
Term	getArg(int i)
Args	getArgs()
java.util.Set	getConsts()
Funct	getFun()
Type	getType()
Type[]	getTypes()
java.util.Set	getVars()
boolean	hasFreeVars()
boolean	hasFreeVars(Subs s)
boolean	mistyped()
boolean	mistyped(Subs s)
Type	mostSpecificType(Const c)
int	numOccurs(Term t)
boolean	occurs(Term t)
void	setArg(int i, Term t)
void	setArgs(Lang l, java.util.Random r)
void	setFunConcepts(Lang l)
java.lang.String	toFileString()
java.lang.String	toShortString()
java.lang.String	toString()
Subs	unify(Term t, Subs s, Type type)

Methods inherited from class rules.Term

apply, clone, fixTypeOf, isSubtypeOf, isSubtypeOf, isSubtypeOf, isSubtypeOf, isSupertypeOf, isSupertypeOf, toSS, toUnboundString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FTerm

public FTerm(java.lang.String p,
             Lang l)

Method Detail

setFunConcepts

public void setFunConcepts(Lang l)

equals

public boolean equals(java.lang.Object t)

equalsButForArgs

public boolean equalsButForArgs(java.lang.Object t)

equals

public boolean equals(Term t,
                      Subs s)

Overrides:

equals in class Term

unify

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

Overrides:

unify in class Term

occurs

public boolean occurs(Term t)

Overrides:

occurs in class Term

numOccurs

public int numOccurs(Term t)

Overrides:

numOccurs in class Term

fixType

public void fixType()

mistyped

public boolean mistyped()

mistyped

public boolean mistyped(Subs s)

setArgs

public void setArgs(Lang l,
                    java.util.Random r)

mostSpecificType

public Type mostSpecificType(Const c)

contains

public boolean contains(Term t)

getVars

public java.util.Set getVars()

getConsts

public java.util.Set getConsts()

toFileString

public java.lang.String toFileString()

Overrides:

toFileString in class Term

toString

public java.lang.String toString()

toShortString

public java.lang.String toShortString()

Overrides:

toShortString in class Term

getFun

public Funct getFun()

getArgs

public Args getArgs()

getArg

public Term getArg(int i)

setArg

public void setArg(int i,
                   Term t)

getType

public Type getType()

Overrides:

getType in class Term

getTypes

public Type[] getTypes()

hasFreeVars

public boolean hasFreeVars()

Overrides:

hasFreeVars in class Term

hasFreeVars

public boolean hasFreeVars(Subs s)

Overrides:

hasFreeVars in class Term

arity

public int arity()