rules
Class Const

java.lang.Object
  rules.Term
      rules.Const

All Implemented Interfaces:

java.lang.Cloneable

public class Const

extends Term

Constructor Summary

Const(Const other)

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

Const(java.lang.String name, Type t)

Const(java.lang.String input, TypeSet t)

Method Summary

boolean	equals(java.lang.Object other)
java.lang.String	getName()
Type	getType()
boolean	hasFreeVars()
boolean	hasFreeVars(Subs s)
int	hashCode()
boolean	nameEquals(java.lang.String name)
java.lang.String	toShortString()
java.lang.String	toString()
Subs	unify(Term t, Subs s, Type type)

Methods inherited from class rules.Term

apply, clone, equals, fixTypeOf, isSubtypeOf, isSubtypeOf, isSubtypeOf, isSubtypeOf, isSupertypeOf, isSupertypeOf, numOccurs, occurs, toFileString, toSS, toUnboundString

Methods inherited from class java.lang.Object

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

Constructor Detail

Const

public Const(java.lang.String input,
             TypeSet t)

Const

public Const(java.lang.String name,
             Type t)

Const

public Const(Const other)

Const

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

Method Detail

getName

public java.lang.String getName()

getType

public Type getType()

Overrides:

getType in class Term

toString

public java.lang.String toString()

toShortString

public java.lang.String toShortString()

Overrides:

toShortString in class Term

hasFreeVars

public boolean hasFreeVars()

Overrides:

hasFreeVars in class Term

hasFreeVars

public boolean hasFreeVars(Subs s)

Overrides:

hasFreeVars in class Term

equals

public boolean equals(java.lang.Object other)

nameEquals

public boolean nameEquals(java.lang.String name)

unify

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

Overrides:

unify in class Term

hashCode

public int hashCode()