Interface UpdatableSolver

All Superinterfaces:

Optimisation, Optimisation.Solver

All Known Implementing Classes:

LinearSolver

public interface UpdatableSolver
extends Optimisation.Solver

Nested Class Summary

Nested classes/interfaces inherited from interface Optimisation

Optimisation.Constraint, Optimisation.ConstraintType, Optimisation.Integration<M,S>, Optimisation.Model, Optimisation.Objective, Optimisation.Options, Optimisation.ProblemStructure, Optimisation.Result, Optimisation.Sense, Optimisation.Solver, Optimisation.State

Method Summary

Modifier and Type	Method	Description
default boolean	fixVariable(int index, double value)
default Collection<Equation>	generateCutCandidates(double fractionality, boolean... integer)
ExpressionsBasedModel.EntityMap	getEntityMap()
default boolean[]	integers(ExpressionsBasedModel model)
default boolean	isMapped()
default boolean	updateRange(int index, double lower, double upper)	A generalisation of fixVariable(int, double) where the new/updated lower and upper bounds do not need to be equal.

Methods inherited from interface Optimisation.Solver

dispose, solve, solve

Method Details

fixVariable

default boolean fixVariable(int index,
 double value)

Parameters:

index - The, solver specific, variable index

value - The value to fix that variable to

Returns:

true if fixing is supported and was successful, otherwise false

generateCutCandidates

default Collection<Equation> generateCutCandidates(double fractionality,
 boolean... integer)

getEntityMap

ExpressionsBasedModel.EntityMap getEntityMap()

integers

default boolean[] integers(ExpressionsBasedModel model)

isMapped

default boolean isMapped()

updateRange

default boolean updateRange(int index,
 double lower,
 double upper)

A generalisation of fixVariable(int, double) where the new/updated lower and upper bounds do not need to be equal.

Parameters:

index - The, solver specific, variable index

lower - New lower bound

upper - New upper bound

Returns:

true if updating the range is supported and was successful, otherwise false