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 |