public abstract class Formula extends Node
Modifier and Type | Class and Description |
---|---|
static interface |
Formula.Operations |
Modifier and Type | Field and Description |
---|---|
(package private) Formula |
_sm_simplified_formula |
static Integer |
ID |
static int |
sm_simplified_formula_ID |
_nodes, _observers, _operations, _thisoperations
Constructor and Description |
---|
Formula(int capacity) |
accept, addObserver, addOperations, children, childrenAccept, childrenOfKind, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, dofind, dump, equals, find, find, find, find, getAttribute, getClone, getClone, hasAttribute, initNode, installOperations, notifyChanges, removeObserver, replace, setAttribute, toString
public static Integer ID
Formula _sm_simplified_formula
public static int sm_simplified_formula_ID
public Formula getSimplifiedFormula()
public void simplify()
public boolean isMentalAttitude(Term term)
public boolean isInstitutionalFact(Term term)
public boolean isSubsumedBy(Formula formula)
public boolean isConsistentWith(Formula formula)
public boolean isAFreeVariable(Variable x)
public Formula getVariablesSubstitution(ListOfVariable vars)
public MatchResult match(Node expression)
public int getClassID()
Node
getClassID
in class Node
public void copyValueOf(Node n, HashMap clones)
copyValueOf
in class Node
public Node.Operations getOperations()
Node
getOperations
in class Node
public Formula sm_simplified_formula()
public void sm_simplified_formula(Formula o)
public boolean hasAttribute(int attrname)
hasAttribute
in class Node
public Object getAttribute(int attrname)
getAttribute
in class Node
public void setAttribute(int attrname, Object attrvalue)
setAttribute
in class Node