public interface MILPProblemBuilder
Modifier and Type | Interface and Description |
---|---|
static interface |
MILPProblemBuilder.FullDataAlignedTrace |
Modifier and Type | Field and Description |
---|---|
static double |
RESULT_EPSILON |
static double |
SOLVING_PRECISION |
static int |
TIMEOUT |
Modifier and Type | Method and Description |
---|---|
MILPProblemBuilder.FullDataAlignedTrace |
createAlignment(TraceMapping mapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
createPartialAlignment(TraceMapping mapping,
ControlFlowAlignmentResult controlFlowAlignment) |
static final int TIMEOUT
static final double RESULT_EPSILON
static final double SOLVING_PRECISION
MILPProblemBuilder.FullDataAlignedTrace createAlignment(TraceMapping mapping, ControlFlowAlignmentResult controlFlowAlignment) throws MILPProblemException
controlFlowAlignment
- MILPProblemBuildException
MILPProblemException
PartialDataAlignedTrace createPartialAlignment(TraceMapping mapping, ControlFlowAlignmentResult controlFlowAlignment) throws MILPProblemException
record
- controlFlowAlignment
- MILPProblemBuildException
MILPProblemException