net.sf.tweety.math.opt.solver

Class OpenOptWebSolver

java.lang.Object

net.sf.tweety.math.opt.Solver

net.sf.tweety.math.opt.solver.OpenOptSolver

net.sf.tweety.math.opt.solver.OpenOptWebSolver

public class OpenOptWebSolver
extends OpenOptSolver

Uses a web service implementation of the OpenOpt-library.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private org.slf4j.Logger	log Logger.
static boolean	openopt_use_local Whether to use a local installation of OpenOpt.
static java.lang.String	openopt_webservice_apikey The API key for using the service.
static java.lang.String	openopt_webservice_url The URL of the web service.

Fields inherited from class net.sf.tweety.math.opt.solver.OpenOptSolver

ignoreNotFeasibleError

Constructor Summary

Constructors

Constructor and Description
OpenOptWebSolver()

Method Summary

Modifier and Type	Method and Description
static boolean	isInstalled()
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.OpenOptSolver

getContol, getFtol, getGtol, getMaxFunEvals, getMaxIter, getOpenOptCode, getSolver, getXtol, isIgnoreNotFeasibleError, parseOutput, setContol, setFtol, setGtol, setIgnoreNotFeasibleError, setMaxFunEvals, setMaxIter, setSolver, setXtol

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

openopt_webservice_url

public static java.lang.String openopt_webservice_url

The URL of the web service.

openopt_webservice_apikey

public static java.lang.String openopt_webservice_apikey

The API key for using the service.

openopt_use_local

public static boolean openopt_use_local

Whether to use a local installation of OpenOpt.

log

private org.slf4j.Logger log

Logger.

Constructor Detail

OpenOptWebSolver

public OpenOptWebSolver()

Method Detail

solve

public java.util.Map<Variable,Term> solve(ConstraintSatisfactionProblem 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.

Overrides:

solve in class OpenOptSolver

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 java.lang.UnsupportedOperationException

Throws:

java.lang.UnsupportedOperationException