| Class and Description |
|---|
| DataAlignmentAdapter
Interface for building a data alignment given a trace and a control flow
alignment
|
| Class and Description |
|---|
| PartialDataAlignedTrace
Stores the result of the data alignment for a prefix.
|
| Class and Description |
|---|
| DataAlignmentAdapter.ILPSolver |
| Class and Description |
|---|
| DataAlignmentAdapter
Interface for building a data alignment given a trace and a control flow
alignment
|
| Class and Description |
|---|
| DataAlignmentAdapter
Interface for building a data alignment given a trace and a control flow
alignment
|
DataAlignmentAdapterChainingImpl
DataAlignmentAdapter that calls multiple other adapters in order and
returns the first valid result. |
| Class and Description |
|---|
| AbstractDataAlignmentAdapter
Base class for most of the more expensive
DataAlignmentAdapter |
| DataAlignmentAdapter
Interface for building a data alignment given a trace and a control flow
alignment
|
| DataAlignmentAdapter.ILPSolver |
DataAlignmentAdapterChainingImpl
DataAlignmentAdapter that calls multiple other adapters in order and
returns the first valid result. |
DataAlignmentAdapterMILPImpl
DataAlignmentAdapter using a MILP solver |
| DataAlignmentAdapterWithoutPartialImpl |
| ExpensiveAdapter
Marker interface for
DataAlignmentAdapter that are computational expensive. |
| MILPProblemBuilder |
| MILPProblemBuilder.FullDataAlignedTrace |
| PartialDataAlignedTrace
Stores the result of the data alignment for a prefix.
|
| PartialDataAlignmentObserver |
| Class and Description |
|---|
| IlpExpressionTemplate
Class that encapsulates the the conversion between a
GuardExpression
and an ILP problem. |
| Class and Description |
|---|
| DataAlignmentAdapter.ILPSolver |