public class ConjunctionTreeNode extends java.lang.Object implements java.lang.Iterable<Formula>
| Modifier and Type | Field and Description |
|---|---|
protected ConjunctionTreeNode |
left |
protected ConjunctionTreeNode |
parent |
protected ConjunctionTreeNode |
right |
| Modifier | Constructor and Description |
|---|---|
protected |
ConjunctionTreeNode() |
|
ConjunctionTreeNode(ConjunctionTreeNode left,
ConjunctionTreeNode right) |
| Modifier and Type | Method and Description |
|---|---|
protected Automaton |
calculateProduct(Lambda<Automaton> a1,
Lambda<Automaton> a2) |
int |
conjunctions() |
void |
detach() |
boolean |
equals(java.lang.Object o) |
Automaton |
getAutomaton() |
int |
getHeight() |
ConjunctionTreeNode |
getLeft() |
ConjunctionTreeNode |
getParent() |
ConjunctionTreeNode |
getRight() |
int |
hashCode() |
void |
invalidate() |
java.util.Iterator<Formula> |
iterator() |
protected Automaton |
process(Automaton a) |
void |
setLeft(ConjunctionTreeNode left) |
void |
setRight(ConjunctionTreeNode right) |
java.lang.String |
toString() |
protected ConjunctionTreeNode left
protected ConjunctionTreeNode right
protected ConjunctionTreeNode parent
public ConjunctionTreeNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
protected ConjunctionTreeNode()
public int conjunctions()
public void detach()
public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic Automaton getAutomaton()
public int getHeight()
public ConjunctionTreeNode getLeft()
public ConjunctionTreeNode getParent()
public ConjunctionTreeNode getRight()
public int hashCode()
hashCode in class java.lang.Objectpublic void invalidate()
public java.util.Iterator<Formula> iterator()
iterator in interface java.lang.Iterable<Formula>public void setLeft(ConjunctionTreeNode left)
left - the left to setpublic void setRight(ConjunctionTreeNode right)
right - the right to setpublic java.lang.String toString()
toString in class java.lang.Object