public abstract class InstitutionalLogicFormula extends Formula
Formula.Operations
Modifier and Type | Field and Description |
---|---|
static Integer |
ID |
_sm_simplified_formula, sm_simplified_formula_ID
_nodes, _observers, _operations, _thisoperations
Constructor and Description |
---|
InstitutionalLogicFormula(int capacity) |
Modifier and Type | Method and Description |
---|---|
void |
copyValueOf(Node n,
HashMap clones) |
int |
getClassID()
This method return the dynamic class ID of the node.
|
Node.Operations |
getOperations()
This method returns the object implementing the operations associated to this node.
|
getAttribute, getDoubleMirror, getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, hasAttribute, instantiate, isAFreeVariable, isBeliefFrom, isConsistentWith, isExistsOn, isInstitutionalFact, isInstitutionalFactFrom, isMentalAttitude, isSubsumedBy, match, setAttribute, simplify, sm_simplified_formula, sm_simplified_formula
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
public int getClassID()
Node
getClassID
in class Formula
public void copyValueOf(Node n, HashMap clones)
copyValueOf
in class Formula
public Node.Operations getOperations()
Node
getOperations
in class Formula