edu.ucdavis.rj.Ops
Class Quantifiers

java.lang.Object
  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)