org.processmining.ltl2automaton.plugins.formula.conjunction

Class ThreadedConjunctionTreeNode

java.lang.Object

org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode

org.processmining.ltl2automaton.plugins.formula.conjunction.ThreadedConjunctionTreeNode

All Implemented Interfaces:

java.lang.Iterable<Formula>

public class ThreadedConjunctionTreeNode
extends ConjunctionTreeNode

Field Summary

Fields inherited from class org.processmining.ltl2automaton.plugins.formula.conjunction.ConjunctionTreeNode

left, parent, right

Constructor Summary

Constructors

Constructor and Description
ThreadedConjunctionTreeNode(java.util.concurrent.ExecutorService threadPool)
ThreadedConjunctionTreeNode(java.util.concurrent.ExecutorService threadPool, ConjunctionTreeNode left, ConjunctionTreeNode right)

Method Summary

Modifier and Type	Method and Description
protected Automaton	calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)

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

conjunctions, detach, equals, getAutomaton, getHeight, getLeft, getParent, getRight, hashCode, invalidate, iterator, process, setLeft, setRight, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ThreadedConjunctionTreeNode

public ThreadedConjunctionTreeNode(java.util.concurrent.ExecutorService threadPool)

ThreadedConjunctionTreeNode

public ThreadedConjunctionTreeNode(java.util.concurrent.ExecutorService threadPool,
                                   ConjunctionTreeNode left,
                                   ConjunctionTreeNode right)

Method Detail

calculateProduct

protected Automaton calculateProduct(Lambda<Automaton> a1,
                                     Lambda<Automaton> a2)

Overrides:

calculateProduct in class ConjunctionTreeNode