edu.ucdavis.rj.Ops
Class CoArm

java.lang.Object
  extended by edu.ucdavis.rj.Ops.CoArm

public class CoArm
extends java.lang.Object


Nested Class Summary
static class CoArm.CoKind
          Represents the kind of concurrent invocation.
static class CoArm.OpArray
          An array of operations for this CoArm and (typically) the associated quantifier values.
 
Constructor Summary
CoArm(CoArm.OpArray oa)
           
CoArm(CoArm.OpArray oa, ArmCode code)
           
CoArm(CoArm.OpArray oa, ArmCode code, CoArm.CoKind coKind)
           
CoArm(CoArm.OpArray oa, CoArm.CoKind coKind)
           
CoArm(OpImpl op, Invocation inv)
           
CoArm(OpImpl op, Invocation inv, ArmCode code)
           
CoArm(OpImpl op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
           
CoArm(OpImpl op, Invocation inv, CoArm.CoKind coKind)
           
CoArm(OpProxy op, Invocation inv)
           
CoArm(OpProxy op, Invocation inv, ArmCode code)
           
CoArm(OpProxy op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
           
CoArm(OpProxy op, Invocation inv, CoArm.CoKind coKind)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CoArm

public CoArm(OpProxy op,
             Invocation inv,
             ArmCode code,
             CoArm.CoKind coKind)

CoArm

public CoArm(OpProxy op,
             Invocation inv,
             ArmCode code)

CoArm

public CoArm(OpProxy op,
             Invocation inv,
             CoArm.CoKind coKind)

CoArm

public CoArm(OpProxy op,
             Invocation inv)

CoArm

public CoArm(OpImpl op,
             Invocation inv,
             ArmCode code,
             CoArm.CoKind coKind)

CoArm

public CoArm(OpImpl op,
             Invocation inv,
             ArmCode code)

CoArm

public CoArm(OpImpl op,
             Invocation inv,
             CoArm.CoKind coKind)

CoArm

public CoArm(OpImpl op,
             Invocation inv)

CoArm

public CoArm(CoArm.OpArray oa,
             ArmCode code,
             CoArm.CoKind coKind)

CoArm

public CoArm(CoArm.OpArray oa,
             ArmCode code)

CoArm

public CoArm(CoArm.OpArray oa,
             CoArm.CoKind coKind)

CoArm

public CoArm(CoArm.OpArray oa)