| Class | Description |
|---|---|
| AbstractPddlEncoder |
Abstract class that can be extended to provide different ways of encoding an
alignment-based conformance checking problem in PDDL.
|
| PartialOrderAwarePddlEncoder |
An implementation of the PDDL encoder that takes into account a possible partial ordering in the event log to be
replayed on the Petri net.
|
| StandardPddlEncoder |
A standard implementation of the PDDL encoder that does NOT take into account a possible partial ordering in the
event log to be replayed on the Petri net.
|