org.processmining.ltl2automaton.plugins.formula.conjunction

Class ThreadedTreeFactory

java.lang.Object

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

org.processmining.ltl2automaton.plugins.formula.conjunction.ThreadedTreeFactory

All Implemented Interfaces:

TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>

public class ThreadedTreeFactory
extends DefaultTreeFactory

Constructor Summary

Constructors

Constructor and Description
ThreadedTreeFactory(int threads)

Method Summary

Modifier and Type	Method and Description
ConjunctionTreeNode	createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)
static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>	getInstance()

Methods inherited from class org.processmining.ltl2automaton.plugins.formula.conjunction.DefaultTreeFactory

createLeaf

Methods inherited from class java.lang.Object

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

Constructor Detail

ThreadedTreeFactory

public ThreadedTreeFactory(int threads)

Method Detail

getInstance

public static TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf> getInstance()

Returns:

the instance

createNode

public ConjunctionTreeNode createNode(ConjunctionTreeNode left,
                                      ConjunctionTreeNode right)

Specified by:

createNode in interface TreeFactory<ConjunctionTreeNode,ConjunctionTreeLeaf>

Overrides:

createNode in class DefaultTreeFactory