|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.neu.ccs.demeterf.views.classes.Quantifier edu.neu.ccs.demeterf.views.classes.PlusQuant
public class PlusQuant
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 |
---|
public PlusQuant()
Method Detail |
---|
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public static PlusQuant parse(java.lang.String inpt) throws ParseException
ParseException
public static PlusQuant parse(java.io.InputStream inpt) throws ParseException
ParseException
public static PlusQuant parse(java.io.Reader inpt) throws ParseException
ParseException
public java.lang.String toString()
toString
in class Quantifier
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |