|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.cons.Formula
public class Formula
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 |
---|
public static final int NOP
public static final int TRUE
public static final int FALSE
public static final int NOT
public static final int AND
public static final int OR
public static final int UNDEF
Constructor Detail |
---|
public Formula(boolean v)
public Formula(java.util.Vector<Evaluable> vars, java.lang.String s)
public Formula(java.util.Vector<Evaluable> vars, int op)
Method Detail |
---|
public void setName(java.lang.String str)
public java.lang.String getName()
public void setTextualComment(java.lang.String text)
public java.lang.String getTextualComment()
public void setEnabled(boolean b)
public boolean isEnabled()
public boolean setFormula(java.util.List<Evaluable> vars, java.lang.String s)
public java.lang.String getAsString(java.util.List<Evaluable> v)
public java.lang.String getAsString(java.util.List<Evaluable> v, java.util.List<java.lang.String> names)
public boolean compareTo(Formula f)
public boolean isValid()
public boolean isEvaluable()
public boolean eval(java.lang.Object o)
eval
in interface Evaluable
public boolean eval(java.lang.Object o, int t)
eval
in interface Evaluable
public boolean eval(java.lang.Object o, boolean negation)
eval
in interface Evaluable
public boolean eval(java.lang.Object o, int t, boolean negation)
eval
in interface Evaluable
public void patchOutEvaluable(Evaluable e, boolean subst)
public int getOperation()
public boolean isNOT(Evaluable var, java.util.Vector<Evaluable> vars)
public java.util.Vector<java.lang.Integer> getLayer()
public java.lang.String getLayerAsString()
public void addLayer(int l)
public void setLayer(java.util.Vector<java.lang.Integer> l)
public java.util.Vector<java.lang.Integer> getPriority()
public java.lang.String getPriorityAsString()
public void addPriority(int p)
public void setPriority(java.util.Vector<java.lang.Integer> p)
public void XreadObject(XMLHelper h)
XreadObject
in interface XMLObject
public void XwriteObject(XMLHelper h)
XwriteObject
in interface XMLObject
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |