edu.ucdavis.rj.Ops
Class Quantifiers

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

public class Quantifiers
extends java.lang.Object


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
 

Constructor Detail

Quantifiers

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

getQuantifier

public java.lang.Object getQuantifier(int index)