agg.cons
Class Formula

java.lang.Object
  extended by agg.cons.Formula
All Implemented Interfaces:
Evaluable, XMLObject, java.io.Serializable

public class Formula
extends java.lang.Object
implements Evaluable, XMLObject, java.io.Serializable

See Also:
Serialized Form

Field Summary
static int AND
           
static int FALSE
           
static int NOP
           
static int NOT
           
static int OR
           
static int TRUE
           
static int UNDEF
           
 
Constructor Summary
Formula(boolean v)
           
Formula(java.util.Vector<Evaluable> vars, int op)
           
Formula(java.util.Vector<Evaluable> vars, java.lang.String s)
           
 
Method Summary
 void addLayer(int l)
          Add the specified layer to its layer container.
 void addPriority(int p)
          Add the specified priority p to its priority container.
 boolean compareTo(Formula f)
           
 boolean eval(java.lang.Object o)
           
 boolean eval(java.lang.Object o, boolean negation)
           
 boolean eval(java.lang.Object o, int t)
           
 boolean eval(java.lang.Object o, int t, boolean negation)
           
 java.lang.String getAsString(java.util.List<Evaluable> v)
           
 java.lang.String getAsString(java.util.List<Evaluable> v, java.util.List<java.lang.String> names)
           
 java.util.Vector<java.lang.Integer> getLayer()
          Returns my layer.
 java.lang.String getLayerAsString()
           
 java.lang.String getName()
           
 int getOperation()
           
 java.util.Vector<java.lang.Integer> getPriority()
          Returns my priority.
 java.lang.String getPriorityAsString()
           
 java.lang.String getTextualComment()
          Return textual comments of this formula.
 boolean isEnabled()
           
 boolean isEvaluable()
           
 boolean isNOT(Evaluable var, java.util.Vector<Evaluable> vars)
           
 boolean isValid()
           
 void patchOutEvaluable(Evaluable e, boolean subst)
           
 void setEnabled(boolean b)
           
 boolean setFormula(java.util.List<Evaluable> vars, java.lang.String s)
           
 void setLayer(java.util.Vector<java.lang.Integer> l)
          Set the specified Vector l to its layer container.
 void setName(java.lang.String str)
           
 void setPriority(java.util.Vector<java.lang.Integer> p)
          Set the specified Vector p to its priority container.
 void setTextualComment(java.lang.String text)
          Set textual comments for this formula.
 void XreadObject(XMLHelper h)
           
 void XwriteObject(XMLHelper h)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NOP

public static final int NOP
See Also:
Constant Field Values

TRUE

public static final int TRUE
See Also:
Constant Field Values

FALSE

public static final int FALSE
See Also:
Constant Field Values

NOT

public static final int NOT
See Also:
Constant Field Values

AND

public static final int AND
See Also:
Constant Field Values

OR

public static final int OR
See Also:
Constant Field Values

UNDEF

public static final int UNDEF
See Also:
Constant Field Values
Constructor Detail

Formula

public Formula(boolean v)

Formula

public Formula(java.util.Vector<Evaluable> vars,
               java.lang.String s)

Formula

public Formula(java.util.Vector<Evaluable> vars,
               int op)
Method Detail

setName

public void setName(java.lang.String str)

getName

public java.lang.String getName()

setTextualComment

public void setTextualComment(java.lang.String text)
Set textual comments for this formula.


getTextualComment

public java.lang.String getTextualComment()
Return textual comments of this formula.


setEnabled

public void setEnabled(boolean b)

isEnabled

public boolean isEnabled()

setFormula

public boolean setFormula(java.util.List<Evaluable> vars,
                          java.lang.String s)

getAsString

public java.lang.String getAsString(java.util.List<Evaluable> v)

getAsString

public java.lang.String getAsString(java.util.List<Evaluable> v,
                                    java.util.List<java.lang.String> names)

compareTo

public boolean compareTo(Formula f)

isValid

public boolean isValid()

isEvaluable

public boolean isEvaluable()

eval

public boolean eval(java.lang.Object o)
Specified by:
eval in interface Evaluable

eval

public boolean eval(java.lang.Object o,
                    int t)
Specified by:
eval in interface Evaluable

eval

public boolean eval(java.lang.Object o,
                    boolean negation)
Specified by:
eval in interface Evaluable

eval

public boolean eval(java.lang.Object o,
                    int t,
                    boolean negation)
Specified by:
eval in interface Evaluable

patchOutEvaluable

public void patchOutEvaluable(Evaluable e,
                              boolean subst)

getOperation

public int getOperation()

isNOT

public boolean isNOT(Evaluable var,
                     java.util.Vector<Evaluable> vars)

getLayer

public java.util.Vector<java.lang.Integer> getLayer()
Returns my layer. The layer is used by layered grammar.


getLayerAsString

public java.lang.String getLayerAsString()

addLayer

public void addLayer(int l)
Add the specified layer to its layer container.


setLayer

public void setLayer(java.util.Vector<java.lang.Integer> l)
Set the specified Vector l to its layer container. An element of this Vector is an Integer..


getPriority

public java.util.Vector<java.lang.Integer> getPriority()
Returns my priority. The layer is used by grammar with rule priority.


getPriorityAsString

public java.lang.String getPriorityAsString()

addPriority

public void addPriority(int p)
Add the specified priority p to its priority container.


setPriority

public void setPriority(java.util.Vector<java.lang.Integer> p)
Set the specified Vector p to its priority container. An element of this Vector is an Integer.


XreadObject

public void XreadObject(XMLHelper h)
Specified by:
XreadObject in interface XMLObject

XwriteObject

public void XwriteObject(XMLHelper h)
Specified by:
XwriteObject in interface XMLObject