| Class | Description |
|---|---|
| AcceptingPetriNet2automaton | |
| AcceptingPetriNetMarkingSet |
Packs several markings (byte[]) into a single byte[], while keeping them
sorted for easy comparison.
|
| AcceptingPetriNetMarkingSet.Result | |
| AcceptingPetriNetProject | |
| BinomialIteratorThreadSafe<X> |
Walk over the binomial combinations of a list of elements.
|
| EfficientLog | |
| EfficientTreeProject | |
| ExponentialIteratorThreadSafe<X> |
Iterate over all cartesian product combinations in a thread-safe way
|
| MapConjunction | |
| MapConjunction2 | |
| PetrinetImplExt | |
| ProjectPetriNetOntoActivities | Deprecated |
| Tree2Automaton |
| Exception | Description |
|---|---|
| AutomatonFailedException |