public class MetaFormulaReferenceNode extends Formula
Formula.Operations
Modifier and Type | Field and Description |
---|---|
(package private) String |
_lx_name |
(package private) Formula |
_sm_value |
static Integer |
ID |
static int |
lx_name_ID |
static int |
sm_value_ID |
_sm_simplified_formula, sm_simplified_formula_ID
_nodes, _observers, _operations, _thisoperations
Constructor and Description |
---|
MetaFormulaReferenceNode() |
MetaFormulaReferenceNode(String lx_name) |
Modifier and Type | Method and Description |
---|---|
void |
accept(Visitor visitor)
This method is part of the implementation of the visitor design pattern.
|
void |
copyValueOf(Node n,
HashMap clones) |
Object |
getAttribute(int attrname) |
int |
getClassID()
This method return the dynamic class ID of the node.
|
Node |
getClone(HashMap clones) |
Node.Operations |
getOperations()
This method returns the object implementing the operations associated to this node.
|
boolean |
hasAttribute(int attrname) |
String |
lx_name() |
void |
lx_name(String o) |
void |
setAttribute(int attrname,
Object attrvalue) |
Formula |
sm_value() |
void |
sm_value(Formula o) |
getDoubleMirror, getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, instantiate, isAFreeVariable, isBeliefFrom, isConsistentWith, isExistsOn, isInstitutionalFact, isInstitutionalFactFrom, isMentalAttitude, isSubsumedBy, match, simplify, sm_simplified_formula, sm_simplified_formula
addObserver, addOperations, children, childrenAccept, childrenOfKind, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, dofind, dump, equals, find, find, find, find, getAttribute, getClone, hasAttribute, initNode, installOperations, notifyChanges, removeObserver, replace, setAttribute, toString
public static Integer ID
String _lx_name
Formula _sm_value
public static int lx_name_ID
public static int sm_value_ID
public MetaFormulaReferenceNode(String lx_name)
public MetaFormulaReferenceNode()
public final int getClassID()
Node
getClassID
in class Formula
public void accept(Visitor visitor)
Node
public void copyValueOf(Node n, HashMap clones)
copyValueOf
in class Formula
public Node.Operations getOperations()
Node
getOperations
in class Formula
public String lx_name()
public void lx_name(String o)
public Formula sm_value()
public void sm_value(Formula o)
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