net.sf.tweety.math.opt.solver

Class LpSolve

java.lang.Object

net.sf.tweety.math.opt.Solver

net.sf.tweety.math.opt.solver.LpSolve

public class LpSolve
extends Solver

This class implements a wrapper to the lpsolve binary for mixed integer linear programming. See http://lpsolve.sourceforge.net.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private static java.lang.String	binary Path to the binary or lp_solve
private static java.io.File	tmpFolder For temporary files.

Constructor Summary

Constructors

Constructor and Description
LpSolve()

Method Summary

Modifier and Type	Method and Description
static boolean	isInstalled()
static void	setBinary(java.lang.String binary) Sets the path to the binary.
static void	setTmpFolder(java.io.File path) Sets the path for the temporary folder.
java.util.Map<Variable,Term>	solve(ConstraintSatisfactionProblem problem) Computes a solution to the given constraint satisfaction or optimization problem, i.e.

Methods inherited from class net.sf.tweety.math.opt.Solver

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

Methods inherited from class java.lang.Object

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

Field Detail

binary

private static java.lang.String binary

Path to the binary or lp_solve

tmpFolder

private static java.io.File tmpFolder

For temporary files.

Constructor Detail

LpSolve

public LpSolve()

Method Detail

isInstalled

public static boolean isInstalled()
                           throws java.lang.UnsupportedOperationException

Throws:

java.lang.UnsupportedOperationException

solve

public java.util.Map<Variable,Term> solve(ConstraintSatisfactionProblem problem)

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.

setBinary

public static void setBinary(java.lang.String binary)

Sets the path to the binary.

Parameters:

binary - the path to the binary.

setTmpFolder

public static void setTmpFolder(java.io.File path)

Sets the path for the temporary folder.

Parameters:

path - some path.