org.processmining.ltl2automaton.plugins.formula.conjunction

Class DefaultTreeFactory

java.lang.Object

org.processmining.ltl2automaton.plugins.formula.conjunction.DefaultTreeFactory

All Implemented Interfaces:

TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>

Direct Known Subclasses:

ThreadedTreeFactory

public class DefaultTreeFactory
extends java.lang.Object
implements TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>

Constructor Summary

Constructors

Constructor and Description
DefaultTreeFactory()

Method Summary

Modifier and Type	Method and Description
ConjunctionTreeLeaf	createLeaf(Formula f, char name)
ConjunctionTreeNode	createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	getInstance()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultTreeFactory

public DefaultTreeFactory()

Method Detail

getInstance

public static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> getInstance()

Returns:

the instance

createLeaf

public ConjunctionTreeLeaf createLeaf(Formula f,
                                      char name)

Specified by:

createLeaf in interface TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>

createNode

public ConjunctionTreeNode createNode(ConjunctionTreeNode left,
                                      ConjunctionTreeNode right)

Specified by:

createNode in interface TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>