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