Class | Description |
---|---|
AcceptingPetriNet2automaton | |
AcceptingPetriNetMarkingSet |
Packs several markings (byte[]) into a single byte[], while keeping them
sorted for easy comparison.
|
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 | |
ProjectPetriNetOntoActivities | Deprecated |
Tree2Automaton |
Exception | Description |
---|---|
AutomatonFailedException |