| Package | Description |
|---|---|
| org.processmining.ltl2automaton.plugins | |
| org.processmining.ltl2automaton.plugins.formula.conjunction |
| Class and Description |
|---|
| Conjunction |
| Class and Description |
|---|
| Conjunction |
| ConjunctionFactory |
| ConjunctionTreeLeaf |
| ConjunctionTreeNode |
| DefaultTreeFactory |
| GroupedTreeConjunction |
| Lambda |
| PartitionedConjunction |
| QuickAddConjunction |
| SizeSortedTreeConjunction
Note: All the hard work happens when inserting into the sorted set (the comparator extracts the
automaton).
|
| TreeFactory |
| UnsortedTreeConjunction |