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