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 - MILPProblemBuildExceptionMILPProblemExceptionPartialDataAlignedTrace createPartialAlignment(TraceMapping mapping, ControlFlowAlignmentResult controlFlowAlignment) throws MILPProblemException
record - controlFlowAlignment - MILPProblemBuildExceptionMILPProblemException