uk.ac.man.cs.rainbow.rapa.data
Class Substitution

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.data.Substitution

public class Substitution

extends Object

A linked list of substitutions on variables that will form a Most General Unifier of two values.

Field Summary

static Substitution

terminator

Constructor Summary

Substitution(Variable var, Value subst)

Substitution(Variable var, Value subst, Substitution next)

Method Summary

void	add(Map map)
Value	chase(Value e)
boolean	exists(Variable v)
Value	subst(Variable v)

Methods inherited from class java.lang.Object

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

Field Detail

terminator

public static final Substitution terminator

Constructor Detail

Substitution

public Substitution(Variable var,
                    Value subst,
                    Substitution next)

Substitution

public Substitution(Variable var,
                    Value subst)

Method Detail

add

public void add(Map map)

chase

public Value chase(Value e)

exists

public boolean exists(Variable v)

subst

public Value subst(Variable v)