edu.ucdavis.rj.Ops
Class Quantifiers

java.lang.Object
  extended by edu.ucdavis.rj.Ops.Quantifiers

public class Quantifiers
extends java.lang.Object


Field Summary
(package private)  java.lang.Object[] quants
           
 
Constructor Summary
Quantifiers(java.lang.Object... quants)
           
 
Method Summary
 java.lang.Object getQuantifier(int index)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

quants

java.lang.Object[] quants
Constructor Detail

Quantifiers

public Quantifiers(java.lang.Object... quants)
Method Detail

getQuantifier

public java.lang.Object getQuantifier(int index)