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