Class ExpressionsBasedModel.Validator

java.lang.Object

org.ojalgo.optimisation.ExpressionsBasedModel.Validator

Enclosing class:

ExpressionsBasedModel

public static final class ExpressionsBasedModel.Validator
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private static final NumberContext	ACCURACY
private final BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>>	myHandler
private final Optimisation.Integration<ExpressionsBasedModel, ?>	myIntegration
private final Optimisation.Result	myKnownSolution
private final ExpressionsBasedModel	myOriginalModel
(package private) static final BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>>	NULL

Constructor Summary

Constructors

Constructor	Description
Validator(ExpressionsBasedModel originalModel, Optimisation.Integration<ExpressionsBasedModel, ?> integration, Optimisation.Result knownSolution, BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> handler)

Method Summary

Modifier and Type	Method	Description
private static boolean	doValidate(ExpressionsBasedModel model, Access1D<BigDecimal> solution, NumberContext accuracy, BasicLogger logger, BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> handler)
static ExpressionsBasedModel.Validator	of(ExpressionsBasedModel originalModel, Optimisation.Integration<ExpressionsBasedModel, ?> integration)
static ExpressionsBasedModel.Validator	of(ExpressionsBasedModel originalModel, Optimisation.Integration<ExpressionsBasedModel, ?> integration, BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> handler)
static ExpressionsBasedModel.Validator	of(Optimisation.Result knownSolution)
static ExpressionsBasedModel.Validator	of(Optimisation.Result knownSolution, BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> handler)
boolean	validate(ExpressionsBasedModel modifiedModel, NumberContext accuracy, BasicLogger logger)	Validate the known solution against a (modified) model - perhaps modified during pre-solve or with cuts generation in the IntegerSolver.
boolean	validate(Access1D<?> solverSolution, NumberContext accuracy, BasicLogger logger)	Validate an (intermediate) solver solution against the original model.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

ACCURACY

private static final NumberContext ACCURACY

NULL

static final BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> NULL

myHandler

private final BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> myHandler

myIntegration

private final Optimisation.Integration<ExpressionsBasedModel, ?> myIntegration

myKnownSolution

private final Optimisation.Result myKnownSolution

myOriginalModel

private final ExpressionsBasedModel myOriginalModel

Constructor Details

Validator

Validator(ExpressionsBasedModel originalModel,
 Optimisation.Integration<ExpressionsBasedModel, ?> integration,
 Optimisation.Result knownSolution,
 BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> handler)

Parameters:

originalModel - Baseline model.

integration - The integration used to translate between model and solver state.

knownSolution - Not just any feasible solution. It needs to be the optimal solution.

Method Details

of

public static ExpressionsBasedModel.Validator of(ExpressionsBasedModel originalModel,
 Optimisation.Integration<ExpressionsBasedModel, ?> integration)

of

public static ExpressionsBasedModel.Validator of(ExpressionsBasedModel originalModel,
 Optimisation.Integration<ExpressionsBasedModel, ?> integration,
 BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> handler)

of

public static ExpressionsBasedModel.Validator of(Optimisation.Result knownSolution)

of

public static ExpressionsBasedModel.Validator of(Optimisation.Result knownSolution,
 BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> handler)

doValidate

private static boolean doValidate(ExpressionsBasedModel model,
 Access1D<BigDecimal> solution,
 NumberContext accuracy,
 BasicLogger logger,
 BiConsumer<ExpressionsBasedModel, Access1D<BigDecimal>> handler)

validate

public boolean validate(Access1D<?> solverSolution,
 NumberContext accuracy,
 BasicLogger logger)

Validate an (intermediate) solver solution against the original model. (Validation only performed if an original model was provided to the constructor.)

validate

public boolean validate(ExpressionsBasedModel modifiedModel,
 NumberContext accuracy,
 BasicLogger logger)

Validate the known solution against a (modified) model - perhaps modified during pre-solve or with cuts generation in the IntegerSolver. (Validation only performed if a known solution was provided to the constructor.)