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

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

All Implemented Interfaces:

LatexGenerator, Serializable, VariableContainer

Enclosing class:

Assignment

public static class Assignment.StateVar

extends Assignment

implements LatexGenerator

An assignment to a state variable (program counter).

See Also:

Serialized Form

Inner Class Summary

static class

Assignment.StateVar.Subst A substitution on assignments to state variables.

Inner classes inherited from class uk.ac.man.cs.rainbow.rapa.gcl.Assignment

Assignment.StateVar

Constructor Summary

Assignment.StateVar(ProgramCounterFactory factory, int i, int n)

Assignment.StateVar(ProgramCounterFactory factory, int i, Number n)

Method Summary

void	appendLaTeX(StringBuffer sb) Append a LATEX representation of this object to the given buffer.
Assignment	apply(Unifier u)
boolean	equals(Object o)
int	getI()
int	getN()
int	hashCode()
Assignment	subst(GeneralSubstitution s)
Assignment	subst(Substitution s)

Methods inherited from class uk.ac.man.cs.rainbow.rapa.gcl.Assignment

getExp, getReg, hasVariable, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Assignment.StateVar

public Assignment.StateVar(ProgramCounterFactory factory,
                           int i,
                           int n)

Assignment.StateVar

public Assignment.StateVar(ProgramCounterFactory factory,
                           int i,
                           Number n)

Method Detail

getI

public int getI()

getN

public int getN()

equals

public boolean equals(Object o)

Overrides:

equals in class Assignment

hashCode

public int hashCode()

Overrides:

hashCode in class Assignment

appendLaTeX

public void appendLaTeX(StringBuffer sb)

Description copied from interface: LatexGenerator

Append a L^AT_EX representation of this object to the given buffer.

Specified by:

appendLaTeX in interface LatexGenerator

apply

public Assignment apply(Unifier u)

Overrides:

apply in class Assignment

subst

public Assignment subst(Substitution s)

Overrides:

subst in class Assignment

subst

public Assignment subst(GeneralSubstitution s)

Overrides:

subst in class Assignment