public class UncertaintyNodeOperations extends FormulaNodeOperations
Constructor and Description |
---|
UncertaintyNodeOperations() |
Modifier and Type | Method and Description |
---|---|
boolean |
isMentalAttitude(Formula node,
Term term) |
void |
simplify(Formula node) |
getDoubleMirror, getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, initNode, instantiate, isAFreeVariable, isBeliefFrom, isConsistentWith, isExistsOn, isInstitutionalFact, isInstitutionalFactFrom, isSubsumedBy, match
compare, doSimplifyNode, equals, nodesToSimplify, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
compare, equals, toString
public void simplify(Formula node)
simplify
in interface Formula.Operations
simplify
in class FormulaNodeOperations
public boolean isMentalAttitude(Formula node, Term term)
isMentalAttitude
in interface Formula.Operations
isMentalAttitude
in class FormulaNodeOperations