rules
Class Var

java.lang.Object
  rules.Term
      rules.Var

All Implemented Interfaces:

java.lang.Cloneable

public class Var

extends Term

Field Summary

static boolean

typed

Constructor Summary

Var(java.lang.String s, Lang l)

Var(java.lang.String s, Type t)
the string should be "$whatever"

Var(Type t)

Var(Var other)

Method Summary

boolean	equals(java.lang.Object other)
void	fixTypeOf(Type t)
java.lang.String	getId()
Type	getType()
boolean	hasFreeVars()
boolean	hasFreeVars(Subs s)
int	hashCode()
boolean	hasName(java.lang.String name)
boolean	isSubtypeOf(Type t, Subs s)
static void	main(java.lang.String[] args)
static java.lang.String	nextName()
void	setType(Type t)
java.lang.String	toFileString()
java.lang.String	toShortString()
java.lang.String	toString()
java.lang.String	toUnboundString()
Subs	unify(Term t, Subs s, Type type)

Methods inherited from class rules.Term

apply, clone, equals, isSubtypeOf, isSubtypeOf, isSubtypeOf, isSupertypeOf, isSupertypeOf, numOccurs, occurs, toSS

Methods inherited from class java.lang.Object

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

Field Detail

typed

public static boolean typed

Constructor Detail

Var

public Var(Type t)

Var

public Var(Var other)

Var

public Var(java.lang.String s,
           Lang l)

Var

public Var(java.lang.String s,
           Type t)

the string should be "$whatever"

Method Detail

unify

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

Overrides:

unify in class Term

nextName

public static java.lang.String nextName()

fixTypeOf

public void fixTypeOf(Type t)

Overrides:

fixTypeOf in class Term

isSubtypeOf

public boolean isSubtypeOf(Type t,
                           Subs s)

Overrides:

isSubtypeOf in class Term

equals

public boolean equals(java.lang.Object other)

hashCode

public int hashCode()

toString

public java.lang.String toString()

toFileString

public java.lang.String toFileString()

Overrides:

toFileString in class Term

toShortString

public java.lang.String toShortString()

Overrides:

toShortString in class Term

setType

public void setType(Type t)

getType

public Type getType()

Overrides:

getType in class Term

getId

public java.lang.String getId()

hasFreeVars

public boolean hasFreeVars()

Overrides:

hasFreeVars in class Term

hasName

public boolean hasName(java.lang.String name)

hasFreeVars

public boolean hasFreeVars(Subs s)

Overrides:

hasFreeVars in class Term

toUnboundString

public java.lang.String toUnboundString()

Overrides:

toUnboundString in class Term

main

public static void main(java.lang.String[] args)