public static class CoArm.OpArray extends InniArm.OpArray
Modifier and Type | Class and Description |
---|---|
class |
CoArm.OpArray.Dummy |
Constructor and Description |
---|
CoArm.OpArray(java.util.ArrayList<OpImpl> opsList,
java.util.ArrayList<Invocation> invs,
CoArm.OpArray.Dummy... dummy) |
CoArm.OpArray(java.util.ArrayList<OpProxy> opsList,
java.util.ArrayList<Invocation> invs) |
CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList,
java.util.ArrayList<OpImpl> opsList,
java.util.ArrayList<Invocation> invsList,
CoArm.OpArray.Dummy... dummy) |
CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList,
java.util.ArrayList<OpProxy> opsList,
java.util.ArrayList<Invocation> invs) |
CoArm.OpArray(OpImpl[] ops,
Invocation[] invs) |
CoArm.OpArray(OpProxy[] ops,
Invocation[] invs) |
CoArm.OpArray(Quantifiers[] quantsArray,
OpImpl[] ops,
Invocation[] invs) |
CoArm.OpArray(Quantifiers[] quantsArray,
OpProxy[] ops,
Invocation[] invs) |
checkOps, checkQuantifiers
public CoArm.OpArray(Quantifiers[] quantsArray, OpProxy[] ops, Invocation[] invs)
public CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpProxy> opsList, java.util.ArrayList<Invocation> invs)
public CoArm.OpArray(Quantifiers[] quantsArray, OpImpl[] ops, Invocation[] invs)
public CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpImpl> opsList, java.util.ArrayList<Invocation> invsList, CoArm.OpArray.Dummy... dummy)
public CoArm.OpArray(OpProxy[] ops, Invocation[] invs)
public CoArm.OpArray(java.util.ArrayList<OpProxy> opsList, java.util.ArrayList<Invocation> invs)
public CoArm.OpArray(OpImpl[] ops, Invocation[] invs)
public CoArm.OpArray(java.util.ArrayList<OpImpl> opsList, java.util.ArrayList<Invocation> invs, CoArm.OpArray.Dummy... dummy)