public class AndNodeOperations extends FormulaNodeOperations implements AndNode.Operations
Constructor and Description |
---|
AndNodeOperations() |
Modifier and Type | Method and Description |
---|---|
Formula |
getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
ListOfFormula |
getLeaves(AndNode node) |
private void |
getLeaves(AndNode node,
ListOfFormula leaves) |
Formula |
isBeliefFrom(Formula node,
Term agent) |
boolean |
isInstitutionalFact(Formula node,
Term term) |
Formula |
isInstitutionalFactFrom(Formula node,
Term institution) |
boolean |
isMentalAttitude(Formula node,
Term term) |
boolean |
isSubsumedBy(Formula node,
Formula formula) |
private AndNode |
orderAndLeaves(Formula left,
Formula right) |
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
getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, instantiate, isAFreeVariable, isConsistentWith, isExistsOn, match
compare, equals, initNode, 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 isInstitutionalFactFrom(Formula node, Term institution)
isInstitutionalFactFrom
in interface Formula.Operations
isInstitutionalFactFrom
in class FormulaNodeOperations
public Formula isBeliefFrom(Formula node, Term agent)
isBeliefFrom
in interface Formula.Operations
isBeliefFrom
in class FormulaNodeOperations
public boolean isSubsumedBy(Formula node, Formula formula)
isSubsumedBy
in interface Formula.Operations
isSubsumedBy
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 ListOfFormula getLeaves(AndNode node)
getLeaves
in interface AndNode.Operations
private void getLeaves(AndNode node, ListOfFormula leaves)