uk.ac.man.cs.rainbow.rapa
Class Out
java.lang.Object
|
+--uk.ac.man.cs.rainbow.rapa.ProcessTerm
|
+--uk.ac.man.cs.rainbow.rapa.Out
- All Implemented Interfaces:
- Serializable
- public class Out
- extends ProcessTerm
RAPA (multiple) output construct.
- See Also:
Synch
, Serialized Form
Out
public Out(Action action)
Out
public Out(Action[] action)
Out
public Out(Channel chan,
Value value)
getAction
public Action[] getAction()
getAction
public Action getAction(int i)
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.