edu.ucdavis.rj

Class CoArm.OpArray

java.lang.Object

edu.ucdavis.rj.InniArm.OpArray

edu.ucdavis.rj.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

Nested Classes

Modifier and Type	Class and Description
class	CoArm.OpArray.Dummy

Constructor Summary

Constructors

Constructor and Description
OpArray(java.util.ArrayList<OpImpl> opsList, java.util.ArrayList<Invocation> invs, CoArm.OpArray.Dummy... dummy)
OpArray(java.util.ArrayList<OpProxy> opsList, java.util.ArrayList<Invocation> invs)
OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpImpl> opsList, java.util.ArrayList<Invocation> invsList, CoArm.OpArray.Dummy... dummy)
OpArray(java.util.ArrayList<Quantifiers> quantsList, java.util.ArrayList<OpProxy> opsList, java.util.ArrayList<Invocation> invs)
OpArray(OpImpl[] ops, Invocation[] invs)
OpArray(OpProxy[] ops, Invocation[] invs)
OpArray(Quantifiers[] quantsArray, OpImpl[] ops, Invocation[] invs)
OpArray(Quantifiers[] quantsArray, OpProxy[] ops, Invocation[] invs)

Method Summary

Methods inherited from class edu.ucdavis.rj.InniArm.OpArray

checkOps, checkQuantifiers

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OpArray

public OpArray(Quantifiers[] quantsArray,
               OpProxy[] ops,
               Invocation[] invs)

OpArray

public OpArray(java.util.ArrayList<Quantifiers> quantsList,
               java.util.ArrayList<OpProxy> opsList,
               java.util.ArrayList<Invocation> invs)

OpArray

public OpArray(Quantifiers[] quantsArray,
               OpImpl[] ops,
               Invocation[] invs)

OpArray

public OpArray(java.util.ArrayList<Quantifiers> quantsList,
               java.util.ArrayList<OpImpl> opsList,
               java.util.ArrayList<Invocation> invsList,
               CoArm.OpArray.Dummy... dummy)

OpArray

public OpArray(OpProxy[] ops,
               Invocation[] invs)

OpArray

public OpArray(java.util.ArrayList<OpProxy> opsList,
               java.util.ArrayList<Invocation> invs)

OpArray

public OpArray(OpImpl[] ops,
               Invocation[] invs)

OpArray

public OpArray(java.util.ArrayList<OpImpl> opsList,
               java.util.ArrayList<Invocation> invs,
               CoArm.OpArray.Dummy... dummy)