Package org.tweetyproject.math.opt.solver

Class OctaveSqpSolver

java.lang.Object

org.tweetyproject.math.opt.solver.Solver

org.tweetyproject.math.opt.solver.OctaveSqpSolver

public class OctaveSqpSolver
extends Solver

Provides a bridge to the Octave (http://www.gnu.org/software/octave/) optimization solver "sqp" which implements a successive quadratic programming solver for general non-linear optimization problems. Version used is 5.2.0

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
OctaveSqpSolver()	Default constructor.

Method Summary

Modifier and Type	Method	Description
static boolean	isInstalled()
static void	setPathToOctave(String pathToOctave)
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

Constructor Details

OctaveSqpSolver

public OctaveSqpSolver()

Default constructor. If "octave" is not in the PATH, it must be set using the static method "setPathToOctave"

Method Details

setPathToOctave

public static void setPathToOctave(String pathToOctave)

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.

isInstalled

public static boolean isInstalled()
                           throws UnsupportedOperationException

Returns:

if solver is installed

Throws:

UnsupportedOperationException - UnsupportedOperationException