trait MPSolver extends StrictLogging
Solver interface that describes a mathematical programming solver. It should be extended by all the individual solvers to be supported in the library.
- Alphabetic
- By Inheritance
- MPSolver
- StrictLogging
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- abstract type Solver
Abstract Value Members
- abstract def addConstraint(mpConstraint: MPConstraint): Unit
Add a mathematical programming constraint to the solver.
Add a mathematical programming constraint to the solver.
- mpConstraint
the mathematical programming constraint
- abstract def buildModel(numberOfVars: Int): Unit
Problem builder, should configure the solver and append mathematical model variables and constraints.
Problem builder, should configure the solver and append mathematical model variables and constraints.
- numberOfVars
number of variables in the model
- abstract def getVarValue(colId: Int): Double
Get value of the variable in the specified position.
Get value of the variable in the specified position. Solution should exist in order for a value to exist.
- colId
position of the variable
- returns
the value of the variable in the solution
- abstract def release(): Unit
Release the memory of the solver.
- abstract def setBinary(colId: Int): Unit
Set the column / variable as an binary integer variable
Set the column / variable as an binary integer variable
- colId
position of the variable
- abstract def setBounds(colId: Int, lower: Double, upper: Double): Unit
Set bounds of variable in the specified position.
Set bounds of variable in the specified position.
- colId
position of the variable
- lower
domain lower bound
- upper
domain upper bound
- abstract def setFloat(colId: Int): Unit
Set the column/variable as a float variable
Set the column/variable as a float variable
- colId
position of the variable
- abstract def setInteger(colId: Int): Unit
Set the column/variable as an integer variable
Set the column/variable as an integer variable
- colId
position of the variable
- abstract def setObjective(objective: Expression, minimize: Boolean): Unit
Add objective expression to be optimized by the solver.
Add objective expression to be optimized by the solver.
- objective
the expression to be optimized
- minimize
flag for minimization instead of maximization
- abstract def setTimeout(limit: Int): Unit
Set a time limit for solver optimization.
Set a time limit for solver optimization. After the limit is reached the solver stops running.
- limit
the time limit
- abstract def setUnboundLowerBound(colId: Int): Unit
Set lower bound to unbounded (infinite)
Set lower bound to unbounded (infinite)
- colId
position of the variable
- abstract def setUnboundUpperBound(colId: Int): Unit
Set upper bound to unbounded (infinite).
Set upper bound to unbounded (infinite).
- colId
position of the variable
- abstract def solve(preSolve: PreSolve = DISABLED): SolutionStatus
Solves the optimization problem.
Solves the optimization problem.
- preSolve
pre-solving mode
- returns
status code indicating the nature of the solution
- abstract val underlyingSolver: Solver
- Attributes
- protected
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val _objectiveValue: Option[Double]
- Attributes
- protected
- val _solution: Array[Double]
- Attributes
- protected
- val _solutionStatus: SolutionStatus
- Attributes
- protected
- def addAllConstraints(constraints: ArrayBuffer[MPConstraint]): Unit
Add all given mathematical programming constraints to the solver.
Add all given mathematical programming constraints to the solver.
- constraints
an array buffer containing the constraints
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val logger: Logger
- Attributes
- protected
- Definition Classes
- StrictLogging
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val numberOfCons: Int
- Attributes
- protected
- def numberOfConstraints: Int
- returns
the number of constraints in the solver.
- def numberOfVariables: Int
- returns
the number of variables in the solver.
- val numberOfVars: Int
- Attributes
- protected
- def objectiveValue: Option[Double]
- returns
the objective value of the solution found by the solver
- Note
The objective value may be the best feasible solution if optimality is not attained or proven.
- def setDoubleUnbounded(colId: Int): Unit
Set bot upper and lower bounds to unbounded (infinite).
Set bot upper and lower bounds to unbounded (infinite).
- colId
position of the variable
- def solution: Array[Double]
- returns
the solution found by the solver, for each variable
- Note
the solution may be the best feasible solution found so far if optimality is not attained or proven.
- def solutionStatus: SolutionStatus
- returns
the status of the solution found by the solver
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()