uk.ac.man.cs.rainbow.rapa
Class Parallel

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.ProcessTerm
        |
        +--uk.ac.man.cs.rainbow.rapa.Parallel

All Implemented Interfaces:

Serializable

public class Parallel

extends ProcessTerm

RAPA parallel composition operator.

See Also:

Serialized Form

Constructor Summary

Parallel(ProcessTerm[] proc)

Parallel(ProcessTerm p1, ProcessTerm p2)

Method Summary

boolean	equals(Object o)
protected GINRet	getGCL(ProgramCounterFactory factory, int i, int n, int t, Value[] c) Get GCL rules for this process term.
ProcessTerm[]	getProc()
ProcessTerm	getProc(int i)
ProcessTerm	subst(GeneralSubstitution s) Apply a substitution to all arguments in the process term.
ProcessTerm	subst(Substitution s) Apply a substitution to all expressions in the process term.
String	toString()

Methods inherited from class uk.ac.man.cs.rainbow.rapa.ProcessTerm

getGCL, getGCL, getSequenceHead

Methods inherited from class java.lang.Object

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

Constructor Detail

Parallel

public Parallel(ProcessTerm[] proc)

Parallel

public Parallel(ProcessTerm p1,
                ProcessTerm p2)

Method Detail

getProc

public ProcessTerm[] getProc()

getProc

public ProcessTerm getProc(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)

Get GCL rules for this process term. Note that this only generates the terminating GCL rule if each subthread produces at least one terminating GCL rules.

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.