org.processmining.ltl2automaton.plugins.formula.conjunction

Interface TreeFactory<N,L extends N>

All Known Implementing Classes:

DefaultTreeFactory, ThreadedTreeFactory

public interface TreeFactory<N,L extends N>

Method Summary

Modifier and Type	Method and Description
L	createLeaf(Formula f, char name)
N	createNode(ConjunctionTreeNode left, ConjunctionTreeNode right)

Method Detail

createLeaf

L createLeaf(Formula f,
             char name)

createNode

N createNode(ConjunctionTreeNode left,
             ConjunctionTreeNode right)