public class LagrangeSolver extends Solver
Modifier and Type | Field and Description |
---|---|
private java.util.Set<java.util.Map<Variable,Term>> |
startingPoints
The starting points for finding the optimum.
|
private java.util.Map<Statement,java.lang.Double> |
startingPointsLMult
possible starting points for Lagrange multiplicators.
|
Constructor and Description |
---|
LagrangeSolver(java.util.Map<Variable,Term> startingPoint)
Creates a new Lagrange solver for the given
optimization problem
|
LagrangeSolver(java.util.Set<java.util.Map<Variable,Term>> startingPoints)
Creates a new Lagrange solver for the given
optimization problem
|
Modifier and Type | Method and Description |
---|---|
static boolean |
isInstalled() |
void |
setStartingPointsLMult(java.util.Map<Statement,java.lang.Double> startingPointsLMult) |
java.util.Map<Variable,Term> |
solve(ConstraintSatisfactionProblem prob)
Computes a solution to the given constraint satisfaction or optimization problem, i.e.
|
getDefaultGeneralSolver, getDefaultIntegerLinearSolver, getDefaultLinearSolver, hasDefaultGeneralSolver, hasDefaultIntegerLinearSolver, hasDefaultLinearSolver, setDefaultGeneralSolver, setDefaultIntegerLinearSolver, setDefaultLinearSolver
private java.util.Set<java.util.Map<Variable,Term>> startingPoints
private java.util.Map<Statement,java.lang.Double> startingPointsLMult
public LagrangeSolver(java.util.Map<Variable,Term> startingPoint)
startingPoint
- The starting point for finding the optimum.public void setStartingPointsLMult(java.util.Map<Statement,java.lang.Double> startingPointsLMult)
public java.util.Map<Variable,Term> solve(ConstraintSatisfactionProblem prob) throws GeneralMathException
Solver
solve
in class Solver
prob
- the actual problemGeneralMathException
- if something went wrong.public static boolean isInstalled() throws java.lang.UnsupportedOperationException
java.lang.UnsupportedOperationException