net.sf.javailp
Interface Solver

All Known Implementing Classes:

AbstractSolver, SolverCPLEX, SolverGLPK, SolverGurobi, SolverLpSolve, SolverMiniSat, SolverMosek, SolverSAT4J

public interface Solver

The Solver.

Field Summary

static int	POSTSOLVE Identifier for the post-solve value.
static int	TIMEOUT Identifier for the timeout value.
static int	VERBOSE Identifier for the verbose value.

Method Summary

Map<Object,Object>	getParameters() Returns all set parameters.
void	setParameter(Object parameter, Object value) Sets a parameter.
Result	solve(Problem problem) Solve the optimization problem.

Field Detail

TIMEOUT

static final int TIMEOUT

Identifier for the timeout value.

See Also:

Constant Field Values

VERBOSE

static final int VERBOSE

Identifier for the verbose value.

See Also:

Constant Field Values

POSTSOLVE

static final int POSTSOLVE

Identifier for the post-solve value.

See Also:

Constant Field Values

Method Detail

setParameter

void setParameter(Object parameter,
                  Object value)

Sets a parameter.

Parameters:

parameter - the parameter

value - the value

getParameters

Map<Object,Object> getParameters()

Returns all set parameters.

Returns:

the map of the parameters

solve

Result solve(Problem problem)

Solve the optimization problem. Returns null if there exists no feasible solution for the problem.

Parameters:

problem - the optimization problem

Returns:

the result