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, zzParserInitUsedBy
compareTo, isGround
crossClassCompare, gatherTopFunctions, getBoolean, getCollection, getDouble, getInt, getSparseVector, getString, getTerm, getVector, mdjbFirst, mdjbNext, testRecursive
public FunctionConditional(FormulaCreate wrappedCreate, Formula f, java.util.Collection<java.lang.Integer> conditions, Binds binds)
public double getWeight()
getWeight
in interface FormulaCreate
public boolean isReady()
public void drop()
drop
in interface FormulaCreate
public void update(Function source, java.lang.Object... msg)
public void add(Formula origin)
add
in interface FormulaCreate
public void dropConditional()
dropConditional
in interface FormulaCreate
public boolean isGarbage()
isGarbage
in interface FormulaCreate