public class OrNode extends BinaryLogicalFormula
Modifier and Type | Class and Description |
---|---|
static interface |
OrNode.Operations |
Modifier and Type | Field and Description |
---|---|
static Integer |
ID |
_as_left_formula, _as_right_formula, as_left_formula_ID, as_right_formula_ID
_sm_simplified_formula, sm_simplified_formula_ID
_nodes, _observers, _operations, _thisoperations
Constructor and Description |
---|
OrNode() |
OrNode(Formula as_left_formula,
Formula as_right_formula) |
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) |
int |
getClassID()
This method return the dynamic class ID of the node.
|
Node |
getClone(HashMap clones) |
ListOfFormula |
getLeaves() |
Node.Operations |
getOperations()
This method returns the object implementing the operations associated to this node.
|
as_left_formula, as_left_formula, as_right_formula, as_right_formula, getAttribute, hasAttribute, setAttribute
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
public final int getClassID()
Node
getClassID
in class BinaryLogicalFormula
public ListOfFormula getLeaves()
public void accept(Visitor visitor)
Node
public void copyValueOf(Node n, HashMap clones)
copyValueOf
in class BinaryLogicalFormula
public Node.Operations getOperations()
Node
getOperations
in class BinaryLogicalFormula