javax.constraints.linear

Class LinearSolver

java.lang.Object

javax.constraints.impl.search.AbstractSolver

javax.constraints.impl.search.Solver

javax.constraints.linear.LinearSolver

All Implemented Interfaces:

javax.constraints.Solver

public abstract class LinearSolver
extends Solver

Field Summary

Fields

Modifier and Type	Field and Description
static String	LP_SOLVER_EXE
static String	LP_SOLVER_OPTIONS
static String	OUTPUT_FOLDER

Fields inherited from class javax.constraints.impl.search.AbstractSolver

searchStrategies, UNLIMITED

Constructor Summary

Constructors

Constructor and Description
LinearSolver()

Method Summary

Modifier and Type	Method and Description
javax.constraints.Solution	findOptimalSolution(javax.constraints.Objective objectiveDirection, javax.constraints.Var objectiveVar)
javax.constraints.Solution	findOptimalSolution(javax.constraints.Objective objective, javax.constraints.Var objectiveVar, javax.constraints.OptimizationStrategy optStrategy)
javax.constraints.Solution	findOptimalSolution(javax.constraints.Objective objectiveDirection, javax.constraints.VarReal objectiveVar)
File	generateMpsFile(javax.constraints.Objective objectiveDirection, javax.constraints.impl.AbstractConstrainedVariable objectiveVar)
File	generateMpsFile(javax.constraints.Objective objectiveDirection, javax.constraints.Var objectiveVar)
File	generateMpsFile(javax.constraints.Objective objectiveDirection, javax.constraints.VarReal objectiveVar)
abstract String	getCommanLine()
abstract javax.constraints.Objective	getDefaultOptimizationObjective()
String	getInputFilename()
String	getLogFilename()
String	getOutputFilename()
abstract String	getVersion()
int	indexOfVariable(String name)
protected String	preProcess()
abstract HashMap<String,String>	readResults() Reads an output file and produces a HashMap which elements contain pairs: - String varName - String value
javax.constraints.Solution	solve(File file)
javax.constraints.Solution	solve(File file, int timeoutMilliSeconds)
static String[]	split(String line)
String	uniqueName(String ext)

Methods inherited from class javax.constraints.impl.search.Solver

applySolution, findSolution, newSearchStrategy, trace, trace, trace

Methods inherited from class javax.constraints.impl.search.AbstractSolver

addExplanation, addLogStrategy, addObjective, addObjective, addReversibleAction, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSolution, addStrategyLogVariables, applySolution, checkTimeLimit, clearSolutions, findAllSolutions, findOptimalSolution, findOptimalSolution, findOptimalSolutionBasic, findOptimalSolutionDichotomize, findOptimalSolutionDichotomize, findSolution, getExplanations, getLogStrategy, getMaxNumberOfSolutions, getNumberOfSolutions, getOptimizationStrategy, getOptimizationTolerance, getProblem, getSearchStrategies, getSearchStrategy, getSolution, getSolution, getSolutions, getSolverStartTime, getStrategyLogVariables, getTimeLimit, getTimeLimitGlobal, getTimeLimitStart, isTimeLimitExceeded, isTraceExecution, isTraceSolutions, log, logOptimizationStrategy, logStats, restoreProblem, saveProblem, setMaxNumberOfSolutions, setOptimizationStrategy, setOptimizationStrategy, setOptimizationTolerance, setProblem, setSearchStrategy, setSearchStrategy, setSearchStrategy, setSearchStrategy, setSearchStrategy, setSolverStartTime, setTimeLimit, setTimeLimitExceeded, setTimeLimitGlobal, setTimeLimitStart, solutionIterator, traceExecution, traceFailures, traceSolutions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LP_SOLVER_EXE

public static String LP_SOLVER_EXE

LP_SOLVER_OPTIONS

public static String LP_SOLVER_OPTIONS

OUTPUT_FOLDER

public static String OUTPUT_FOLDER

Constructor Detail

LinearSolver

public LinearSolver()

Method Detail

findOptimalSolution

public javax.constraints.Solution findOptimalSolution(javax.constraints.Objective objectiveDirection,
                                                      javax.constraints.Var objectiveVar)

Specified by:

findOptimalSolution in interface javax.constraints.Solver

Overrides:

findOptimalSolution in class javax.constraints.impl.search.AbstractSolver

findOptimalSolution

public javax.constraints.Solution findOptimalSolution(javax.constraints.Objective objectiveDirection,
                                                      javax.constraints.VarReal objectiveVar)

Specified by:

findOptimalSolution in interface javax.constraints.Solver

Overrides:

findOptimalSolution in class javax.constraints.impl.search.AbstractSolver

findOptimalSolution

public javax.constraints.Solution findOptimalSolution(javax.constraints.Objective objective,
                                                      javax.constraints.Var objectiveVar,
                                                      javax.constraints.OptimizationStrategy optStrategy)

getDefaultOptimizationObjective

public abstract javax.constraints.Objective getDefaultOptimizationObjective()

Returns:

Objective.MINIMIZE or Objective.MAXIMIZE based on a particular solver

generateMpsFile

public File generateMpsFile(javax.constraints.Objective objectiveDirection,
                            javax.constraints.Var objectiveVar)

generateMpsFile

public File generateMpsFile(javax.constraints.Objective objectiveDirection,
                            javax.constraints.VarReal objectiveVar)

generateMpsFile

public File generateMpsFile(javax.constraints.Objective objectiveDirection,
                            javax.constraints.impl.AbstractConstrainedVariable objectiveVar)

uniqueName

public String uniqueName(String ext)

getInputFilename

public String getInputFilename()

getOutputFilename

public String getOutputFilename()

getLogFilename

public String getLogFilename()

preProcess

protected String preProcess()

solve

public javax.constraints.Solution solve(File file)

solve

public javax.constraints.Solution solve(File file,
                                        int timeoutMilliSeconds)

Parameters:

file - a file

timeoutMilliSeconds - timeout in milliseconds

Returns:

solution or null

indexOfVariable

public int indexOfVariable(String name)

getVersion

public abstract String getVersion()

getCommanLine

public abstract String getCommanLine()

readResults

public abstract HashMap<String,String> readResults()

Reads an output file and produces a HashMap which elements contain pairs: - String varName - String value

Returns:

a HashMap with the resulting values for all problem variables or null

split

public static String[] split(String line)