public class FunctionConditional extends Function implements FormulaCreate
EMPTY_TERM, parts| Constructor and Description |
|---|
FunctionConditional(FormulaCreate wrappedCreate,
Formula f,
java.util.Collection<java.lang.Integer> conditions,
Binds binds) |
| Modifier and Type | Method and Description |
|---|---|
void |
add(Formula origin) |
void |
drop() |
void |
dropConditional() |
ATerm |
getValue() |
double |
getWeight() |
ATerm |
ground(Binds binds,
Function neededBy) |
boolean |
isGarbage() |
boolean |
isReady() |
java.lang.String |
toString() |
void |
update(Function source,
java.lang.Object... msg) |
addUsedBy, getUsedBy, ground, isFunctionFree, parserSetsFocusIndicator, valueClone, valueEquals, valueHash, zzParserInitUsedBycompareTo, isGroundcrossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursivepublic FunctionConditional(FormulaCreate wrappedCreate, Formula f, java.util.Collection<java.lang.Integer> conditions, Binds binds)
public double getWeight()
getWeight in interface FormulaCreatepublic boolean isReady()
public void drop()
drop in interface FormulaCreatepublic void update(Function source, java.lang.Object... msg)
public void add(Formula origin)
add in interface FormulaCreatepublic void dropConditional()
dropConditional in interface FormulaCreatepublic boolean isGarbage()
isGarbage in interface FormulaCreate