edu.neu.ccs.demeterf.views.classes
Class PlusQuant

java.lang.Object
  edu.neu.ccs.demeterf.views.classes.Quantifier
      edu.neu.ccs.demeterf.views.classes.PlusQuant

public class PlusQuant
extends Quantifier

Representation of PlusQuant

Constructor Summary

PlusQuant()
Construct a(n) PlusQuant Instance

Method Summary

boolean	equals(java.lang.Object o) Is the given object Equal to this PlusQuant?
static PlusQuant	parse(java.io.InputStream inpt) Parse an instance of PlusQuant from the given Stream
static PlusQuant	parse(java.io.Reader inpt) Parse an instance of PlusQuant from the given Reader
static PlusQuant	parse(java.lang.String inpt) Parse an instance of PlusQuant from the given String
java.lang.String	toString() DGP method from Class PrintToString

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PlusQuant

public PlusQuant()

Construct a(n) PlusQuant Instance

Method Detail

equals

public boolean equals(java.lang.Object o)

Is the given object Equal to this PlusQuant?

Overrides:

equals in class java.lang.Object

parse

public static PlusQuant parse(java.lang.String inpt)
                       throws ParseException

Parse an instance of PlusQuant from the given String

Throws:

ParseException

parse

public static PlusQuant parse(java.io.InputStream inpt)
                       throws ParseException

Parse an instance of PlusQuant from the given Stream

Throws:

ParseException

parse

public static PlusQuant parse(java.io.Reader inpt)
                       throws ParseException

Parse an instance of PlusQuant from the given Reader

Throws:

ParseException

toString

public java.lang.String toString()

DGP method from Class PrintToString

Overrides:

toString in class Quantifier