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

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

Enclosing class:

Assignment.StateVar

public static class Assignment.StateVar.Subst

extends Object

A substitution on assignments to state variables.

Constructor Summary

Assignment.StateVar.Subst(ProgramCounterFactory factory, int i, int n1, int n2)

Method Summary

Assignment

apply(Assignment a)

Methods inherited from class java.lang.Object

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

Constructor Detail

Assignment.StateVar.Subst

public Assignment.StateVar.Subst(ProgramCounterFactory factory,
                                 int i,
                                 int n1,
                                 int n2)

Method Detail

apply

public Assignment apply(Assignment a)