public class FormulaNodeOperations extends DefaultNodeOperations implements Formula.Operations
Constructor and Description |
---|
FormulaNodeOperations() |
compare, doSimplifyNode, equals, nodesToSimplify, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
compare, equals, toString
public void initNode(Node node)
initNode
in interface Node.Operations
initNode
in class DefaultNodeOperations
public void simplify(Formula node)
simplify
in interface Formula.Operations
public Formula getSimplifiedFormula(Formula node)
getSimplifiedFormula
in interface Formula.Operations
public boolean isMentalAttitude(Formula node, Term term)
isMentalAttitude
in interface Formula.Operations
public boolean isInstitutionalFact(Formula node, Term term)
isInstitutionalFact
in interface Formula.Operations
public Formula isInstitutionalFactFrom(Formula node, Term institution)
isInstitutionalFactFrom
in interface Formula.Operations
public Formula isBeliefFrom(Formula node, Term agent)
isBeliefFrom
in interface Formula.Operations
public Formula isExistsOn(Formula node, Term variable)
isExistsOn
in interface Formula.Operations
public boolean isSubsumedBy(Formula node, Formula formula)
isSubsumedBy
in interface Formula.Operations
public boolean isConsistentWith(Formula node, Formula formula)
isConsistentWith
in interface Formula.Operations
public Formula getDoubleMirror(Formula node, Term i, Term j, boolean default_result_is_true)
getDoubleMirror
in interface Formula.Operations
public boolean isAFreeVariable(Formula node, Variable x)
isAFreeVariable
in interface Formula.Operations
public Formula getVariablesSubstitution(Formula node, Variable x, Variable y)
getVariablesSubstitution
in interface Formula.Operations
public Formula getVariablesSubstitution(Formula node, ListOfVariable vars)
getVariablesSubstitution
in interface Formula.Operations
public Formula getVariablesSubstitutionAsIn(Formula node, Formula formula)
getVariablesSubstitutionAsIn
in interface Formula.Operations
public MatchResult match(Formula node, Node expression)
match
in interface Formula.Operations
public Formula instantiate(Formula node, String varname, Node expression)
instantiate
in interface Formula.Operations