rules
Class SpecConst

java.lang.Object
  rules.Term
      rules.SpecConst

All Implemented Interfaces:

java.lang.Cloneable

public class SpecConst

extends Term

Constructor Summary

SpecConst(SpecConst other)

SpecConst(java.lang.String name)

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

SpecConst

public SpecConst(java.lang.String name)

SpecConst

public SpecConst(SpecConst other)

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()