PartialDataAlignedTrace |
MILPProblemBuilder.createPartialAlignment(TraceMapping mapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
MILPProblemBuilderImpl.createPartialAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
DataAlignmentAdapter.retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord currentRecord) |
PartialDataAlignedTrace |
DataAlignmentAdapter.NoDataAlignmentAdapter.retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord currentRecord) |
PartialDataAlignedTrace |
DataAlignmentAdapterCacheImpl.retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord currentRecord) |
PartialDataAlignedTrace |
DataAlignmentAdapterChainingImpl.retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord currentRecord) |
PartialDataAlignedTrace |
DataAlignmentAdapterMILPImpl.retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord record) |
PartialDataAlignedTrace |
DataAlignmentAdapterSimpleCheckImpl.retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultFactory,
DRecord record) |
PartialDataAlignedTrace |
DataAlignmentAdapterWithoutPartialImpl.retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord record) |