uk.ac.man.cs.rainbow.rapa
Class Alpha
java.lang.Object
|
+--uk.ac.man.cs.rainbow.rapa.ProcessTerm
|
+--uk.ac.man.cs.rainbow.rapa.Alpha
- All Implemented Interfaces:
- Serializable
- public class Alpha
- extends ProcessTerm
RAPA Alpha action. Normal code will not use this class, which
exists to make handling the RAPA expansion theorem easier.
- See Also:
Out
,
Synch
, Serialized Form
Alpha
public Alpha(Action action,
ProcessTerm body)
Alpha
public Alpha(Action[] action,
ProcessTerm body)
getAction
public Action[] getAction()
getAction
public Action getAction(int i)
getBody
public ProcessTerm getBody()
toString
public String toString()
- Overrides:
toString
in class ProcessTerm
equals
public boolean equals(Object o)
- Overrides:
equals
in class ProcessTerm
subst
public ProcessTerm subst(Substitution s)
- Description copied from class:
ProcessTerm
- Apply a substitution to all expressions in the process term.
- Overrides:
subst
in class ProcessTerm
subst
public ProcessTerm subst(GeneralSubstitution s)
- Description copied from class:
ProcessTerm
- Apply a substitution to all arguments in the process term.
- Overrides:
subst
in class ProcessTerm
- Following copied from class:
uk.ac.man.cs.rainbow.rapa.ProcessTerm
- See Also:
Argument
getGCL
protected GINRet getGCL(ProgramCounterFactory factory,
int i,
int n,
int t,
Value[] c)
- Description copied from class:
ProcessTerm
- Get a (g,i,n) triple representing the GCL rules for this
process term.
- Overrides:
getGCL
in class ProcessTerm
- Following copied from class:
uk.ac.man.cs.rainbow.rapa.ProcessTerm
- Parameters:
factory
- Generator for new program counters.i
- Current thread number.n
- Current PC value.t
- Terminating PC value (-1 for sequence and loop stitching, 0
for thread-end.)c
- Superthread context vector.