public final class MILPProblemBuilderImpl extends java.lang.Object implements MILPProblemBuilder
SingleTraceDataAlignmentBuilder
from the DataAwareReplayer package. Supports partial alignments and has an
improved runtime and memory footprint.Modifier and Type | Class and Description |
---|---|
static class |
MILPProblemBuilderImpl.ScopedVariable |
MILPProblemBuilder.FullDataAlignedTrace
RESULT_EPSILON, SOLVING_PRECISION, TIMEOUT
Constructor and Description |
---|
MILPProblemBuilderImpl(LogMapping mapping,
net.sf.javailp.SolverFactory solverFactory,
DataStateFactory dataStateFactory,
double aStarDelta,
boolean includeVirtualVariablesInTraces,
boolean usePartialProblems) |
Modifier and Type | Method and Description |
---|---|
MILPProblemBuilder.FullDataAlignedTrace |
createAlignment(TraceMapping mapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
createPartialAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
public MILPProblemBuilderImpl(LogMapping mapping, net.sf.javailp.SolverFactory solverFactory, DataStateFactory dataStateFactory, double aStarDelta, boolean includeVirtualVariablesInTraces, boolean usePartialProblems)
public MILPProblemBuilder.FullDataAlignedTrace createAlignment(TraceMapping mapping, ControlFlowAlignmentResult controlFlowAlignment) throws MILPProblemException
createAlignment
in interface MILPProblemBuilder
MILPProblemBuildException
MILPProblemException
public PartialDataAlignedTrace createPartialAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowAlignment) throws MILPProblemException
createPartialAlignment
in interface MILPProblemBuilder
MILPProblemBuildException
MILPProblemException