edu.ucdavis.rj.Ops
Class CoArm.OpArray
java.lang.Object
edu.ucdavis.rj.Ops.InniArm.OpArray
edu.ucdavis.rj.Ops.CoArm.OpArray
- Enclosing class:
- CoArm
public static class CoArm.OpArray
- extends InniArm.OpArray
An array of operations for this CoArm
and (typically) the associated quantifier values.
Constructor Summary |
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
invsList
java.util.ArrayList<Invocation> invsList
CoArm.OpArray
public CoArm.OpArray(Quantifiers[] quantsArray,
OpProxy[] ops,
Invocation[] invs)
CoArm.OpArray
public CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList,
java.util.ArrayList<OpProxy> opsList,
java.util.ArrayList<Invocation> invs)
CoArm.OpArray
public CoArm.OpArray(Quantifiers[] quantsArray,
OpImpl[] ops,
Invocation[] invs)
CoArm.OpArray
public CoArm.OpArray(java.util.ArrayList<Quantifiers> quantsList,
java.util.ArrayList<OpImpl> opsList,
java.util.ArrayList<Invocation> invsList,
CoArm.OpArray.Dummy... dummy)
CoArm.OpArray
public CoArm.OpArray(OpProxy[] ops,
Invocation[] invs)
CoArm.OpArray
public CoArm.OpArray(java.util.ArrayList<OpProxy> opsList,
java.util.ArrayList<Invocation> invs)
CoArm.OpArray
public CoArm.OpArray(OpImpl[] ops,
Invocation[] invs)
CoArm.OpArray
public CoArm.OpArray(java.util.ArrayList<OpImpl> opsList,
java.util.ArrayList<Invocation> invs,
CoArm.OpArray.Dummy... dummy)
commonCheck
private void commonCheck()
getInvocationsList
java.util.ArrayList<Invocation> getInvocationsList()