public class DefaultTreeFactory extends java.lang.Object implements TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>
| Constructor and Description |
|---|
DefaultTreeFactory() |
| Modifier and Type | Method and Description |
|---|---|
ConjunctionTreeLeaf |
createLeaf(Formula f,
char name) |
ConjunctionTreeNode |
createNode(ConjunctionTreeNode left,
ConjunctionTreeNode right) |
static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> |
getInstance() |
public static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> getInstance()
public ConjunctionTreeLeaf createLeaf(Formula f, char name)
createLeaf in interface TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>public ConjunctionTreeNode createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
createNode in interface TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>