|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
AbstractSolver contains a map for the parameters.AbstractSolverFactory contains a map for the parameters and sets
these parameters for each created Solver.Constraint represent a linear constraint.Constraint.
Constraint.
Constraint.
Constraint.
true if the result contains the variable.
i-th Term.
Linear is a linear expression consisting of variables and
their coefficients.MiniSat is the JNI class for the MiniSat+ solver.MiniSat instance.
true if no contradiction appeared so far.
Problem represents a linear problem consisting of multiple
constraints and up to one objective function.Problem.
Result is a result of a Problem.ResultImpl is a Map based implementation of the
Result.ResultImpl for a Problem without objective
function.
ResultImpl for a Problem with objective
function and the optimal value.
ResultImpl for a Problem with an objective
function.
decay value
inc value
Solver.SolverCPLEX is the Solver CPLEX.Hook for the SolverCPLEX.SolverFactory is used to create Solver instances.SolverFactoryCPLEX is a SolverFactory for CPLEX.SolverFactoryGLPK is a SolverFactory for GLPK.SolverFactoryGurobi is a SolverFactory for Gurobi.SolverFactoryLpSolve is a SolverFactory for lp_solve.SolverFactoryMiniSat is a SolverFactory for MiniSat+.SolverFactoryCPLEX is a SolverFactory for Mosek.SolverFactoryMosek.
SolverFactoryCPLEX is a SolverFactory for SAT4J.SolverGLPK is the Solver GLPK.Hook for the SolverGLPK.SolverGurobi is the Solver Gurobi.Hook for the SolverGurobi.SolverLpSolve is the Solver lp_solve.Hook for the SolverLpSolve.SolverMiniSat is the Solver MiniSat+.minisat+ solver.
SolverCPLEX is the Solver Mosek.SolverMosek.
Hook for the SolverMosek.SolverCPLEX is the Solver SAT4J.Hook for the SolverSAT4J.Term is the basic element the Linear.Term.
ValueObject is a superclass for all comparable objects based on
their fields.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||