uk.ac.man.cs.rainbow.rapa.gcl
Class Assignment

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.gcl.Assignment

All Implemented Interfaces:

Serializable, VariableContainer

Direct Known Subclasses:

Assignment.StateVar

public class Assignment

extends Object

implements Serializable, VariableContainer

An assignment to a GCL variable.

See Also:

Serialized Form

Inner Class Summary

static class

Assignment.StateVar An assignment to a state variable (program counter).

Constructor Summary

Assignment(Register reg, Value exp)

Method Summary

Assignment	apply(Unifier u)
boolean	equals(Object o)
Value	getExp()
Register	getReg()
int	hashCode()
boolean	hasVariable()
Assignment	subst(GeneralSubstitution s)
Assignment	subst(Substitution s)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Assignment

public Assignment(Register reg,
                  Value exp)

Method Detail

getReg

public Register getReg()

getExp

public Value getExp()

apply

public Assignment apply(Unifier u)

subst

public Assignment subst(Substitution s)

subst

public Assignment subst(GeneralSubstitution s)

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

hasVariable

public boolean hasVariable()

Specified by:

hasVariable in interface VariableContainer