Package org.tweetyproject.math.opt.solver

Class GlpkSolver

java.lang.Object

org.tweetyproject.math.opt.solver.Solver

org.tweetyproject.math.opt.solver.GlpkSolver

public class GlpkSolver
extends Solver

Provides a Java binding to the Glpk solver (https://www.gnu.org/software/glpk).

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
static String	binary	Path to the binary or lp_solve

Constructor Summary

Constructors

Constructor	Description
GlpkSolver()	Constructor

Method Summary

Modifier and Type	Method	Description
static boolean	isInstalled()	Return if solver is installed
static void	setBinary(String binary)	Sets the path to the binary.
static void	setTmpFolder(File path)	Sets the path for the temporary folder.
Map<Variable,Term>	solve(GeneralConstraintSatisfactionProblem problem)	Computes a solution to the given constraint satisfaction or optimization problem, i.e.

Methods inherited from class org.tweetyproject.math.opt.solver.Solver

getDefaultGeneralSolver, getDefaultIntegerLinearSolver, getDefaultLinearSolver, hasDefaultGeneralSolver, hasDefaultIntegerLinearSolver, hasDefaultLinearSolver, setDefaultGeneralSolver, setDefaultIntegerLinearSolver, setDefaultLinearSolver

Methods inherited from class java.lang.Object

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

Field Details

binary

public static String binary

Path to the binary or lp_solve

Constructor Details

GlpkSolver

public GlpkSolver()

Constructor

Method Details

isInstalled

public static boolean isInstalled()
                           throws UnsupportedOperationException

Return if solver is installed

Returns:

if solver is installed

Throws:

UnsupportedOperationException - UnsupportedOperationException

solve

public Map<Variable,Term> solve(GeneralConstraintSatisfactionProblem problem)
                         throws GeneralMathException

Description copied from class: Solver

Computes a solution to the given constraint satisfaction or optimization problem, i.e. a mapping from variables of the problem to terms.

Specified by:

solve in class Solver

Parameters:

problem - the actual problem

Returns:

a mapping from variables of the problem to terms.

Throws:

GeneralMathException - if something went wrong.

setBinary

public static void setBinary(String binary)

Sets the path to the binary.

Parameters:

binary - the path to the binary.

setTmpFolder

public static void setTmpFolder(File path)

Sets the path for the temporary folder.

Parameters:

path - some path.