edu.ucdavis.rj.Ops
Class CoArm.OpArray

java.lang.Object
  extended by edu.ucdavis.rj.Ops.InniArm.OpArray
      extended by 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.


Nested Class Summary
protected  class CoArm.OpArray.Dummy
           
 
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)
           
 
Method Summary
 
Methods inherited from class edu.ucdavis.rj.Ops.InniArm.OpArray
checkOps, checkQuantifiers
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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)