public class FeasibleNodeOperations extends FormulaNodeOperations
Constructor and Description |
---|
FeasibleNodeOperations() |
Modifier and Type | Method and Description |
---|---|
boolean |
isSubsumedBy(Formula node,
Formula formula) |
void |
simplify(Formula node) |
getDoubleMirror, getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, initNode, instantiate, isAFreeVariable, isBeliefFrom, isConsistentWith, isExistsOn, isInstitutionalFact, isInstitutionalFactFrom, isMentalAttitude, 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 isSubsumedBy(Formula node, Formula formula)
isSubsumedBy
in interface Formula.Operations
isSubsumedBy
in class FormulaNodeOperations