public class CoArm
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
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 and Description |
---|
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) |
public CoArm(OpProxy op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
public CoArm(OpProxy op, Invocation inv, ArmCode code)
public CoArm(OpProxy op, Invocation inv, CoArm.CoKind coKind)
public CoArm(OpProxy op, Invocation inv)
public CoArm(OpImpl op, Invocation inv, ArmCode code, CoArm.CoKind coKind)
public CoArm(OpImpl op, Invocation inv, ArmCode code)
public CoArm(OpImpl op, Invocation inv, CoArm.CoKind coKind)
public CoArm(OpImpl op, Invocation inv)
public CoArm(CoArm.OpArray oa, ArmCode code, CoArm.CoKind coKind)
public CoArm(CoArm.OpArray oa, ArmCode code)
public CoArm(CoArm.OpArray oa, CoArm.CoKind coKind)
public CoArm(CoArm.OpArray oa)