public abstract class ModalLogicFormula extends Formula
Formula.Operations
Modifier and Type | Field and Description |
---|---|
(package private) static int |
_as_agent |
(package private) static int |
_as_formula |
static int |
as_agent_ID |
static int |
as_formula_ID |
static Integer |
ID |
_sm_simplified_formula, sm_simplified_formula_ID
_nodes, _observers, _operations, _thisoperations
Constructor and Description |
---|
ModalLogicFormula(int capacity,
Term as_agent,
Formula as_formula) |
Modifier and Type | Method and Description |
---|---|
Term |
as_agent() |
void |
as_agent(Term s) |
Formula |
as_formula() |
void |
as_formula(Formula s) |
void |
copyValueOf(Node n,
HashMap clones) |
Object |
getAttribute(int attrname) |
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.
|
boolean |
hasAttribute(int attrname) |
void |
setAttribute(int attrname,
Object attrvalue) |
getDoubleMirror, getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, instantiate, isAFreeVariable, isBeliefFrom, isConsistentWith, isExistsOn, isInstitutionalFact, isInstitutionalFactFrom, isMentalAttitude, isSubsumedBy, match, 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
static int _as_agent
static int _as_formula
public static int as_agent_ID
public static int as_formula_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
public Term as_agent()
public void as_agent(Term s)
public Formula as_formula()
public void as_formula(Formula s)
public boolean hasAttribute(int attrname)
hasAttribute
in class Formula
public Object getAttribute(int attrname)
getAttribute
in class Formula
public void setAttribute(int attrname, Object attrvalue)
setAttribute
in class Formula