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