MILPProblemBuilder.FullDataAlignedTrace |
MILPProblemBuilder.createAlignment(TraceMapping mapping,
ControlFlowAlignmentResult controlFlowAlignment) |
MILPProblemBuilder.FullDataAlignedTrace |
MILPProblemBuilderImpl.createAlignment(TraceMapping mapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
MILPProblemBuilder.createPartialAlignment(TraceMapping mapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
MILPProblemBuilderImpl.createPartialAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
DataAlignedTrace |
DataAlignmentAdapter.retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
DataAlignedTrace |
DataAlignmentAdapter.NoDataAlignmentAdapter.retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
DataAlignedTrace |
DataAlignmentAdapterCacheImpl.retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowResult) |
DataAlignedTrace |
DataAlignmentAdapterChainingImpl.retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowResult) |
DataAlignedTrace |
DataAlignmentAdapterMILPImpl.retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
DataAlignedTrace |
DataAlignmentAdapterSimpleCheckImpl.retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowResult) |