|
|||||||||
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 |