edu.ucdavis.rj.Ops
Class CoArm
java.lang.Object
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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)