xacute.quilt
Class Quantifier

java.lang.Object
  |
  +--xacute.quilt.QuiltExpression
        |
        +--xacute.quilt.Quantifier
All Implemented Interfaces:
PPrintable

public class Quantifier
extends QuiltExpression

This class implements the Quilt quantifiers SOME and EVERY.


Method Summary
 java.lang.String pprint()
           
 
Methods inherited from class xacute.quilt.QuiltExpression
isTrue, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

pprint

public java.lang.String pprint()
Overrides:
pprint in class QuiltExpression