Uses of Class
net.sf.tweety.math.opt.Solver

Packages that use Solver

Package	Description
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.pcl.analysis
net.sf.tweety.math.opt
net.sf.tweety.math.opt.solver
net.sf.tweety.web.services

Uses of Solver in net.sf.tweety.logics.commons.analysis

Fields in net.sf.tweety.logics.commons.analysis declared as Solver

Modifier and Type	Field	Description
private Solver	CcInconsistencyMeasure.solver	A solver for integer linear programs.
private Solver	CspInconsistencyMeasure.solver	A solver for integer linear programs.

Constructors in net.sf.tweety.logics.commons.analysis with parameters of type Solver

Constructor	Description
CcInconsistencyMeasure(MusEnumerator<S> enumerator, Solver solver)	Creates a new measure that uses the given MUS enumerator and Integer programming solver
CspInconsistencyMeasure(MusEnumerator<S> enumerator, Solver solver)	Creates a new measure that uses the given MUS enumerator and Integer programming solver.
CspInconsistencyMeasure(SimpleFunction<java.lang.Double,java.lang.Double> measureFunction, MusEnumerator<S> enumerator, Solver solver)	Creates a new measure that uses the given measure function, MUS enumerator, and Integer programming solver

Uses of Solver in net.sf.tweety.logics.pcl.analysis

Fields in net.sf.tweety.logics.pcl.analysis declared as Solver

Modifier and Type	Field	Description
private Solver	MinimalViolationInconsistencyMeasure.solver	The solver used for solving the optimization problem

Constructors in net.sf.tweety.logics.pcl.analysis with parameters of type Solver

Constructor	Description
MinimalViolationInconsistencyMeasure(RealVectorNorm norm, Solver solver)	Creates a new measure the given norm

Uses of Solver in net.sf.tweety.math.opt

Fields in net.sf.tweety.math.opt declared as Solver

Modifier and Type	Field	Description
private static Solver	Solver.defaultGeneralSolver	The default solver for non-linear (general) optimization problems.
private static Solver	Solver.defaultIntegerLinearSolver	The default solver for integer linear problems
private static Solver	Solver.defaultLinearSolver	The default solver for linear optimization problems.

Methods in net.sf.tweety.math.opt that return Solver

Modifier and Type	Method	Description
static Solver	Solver.getDefaultGeneralSolver()	Returns the default solver for non-linear (general) optimization problems.
static Solver	Solver.getDefaultIntegerLinearSolver()	Returns the default solver for integer linear optimization problems.
static Solver	Solver.getDefaultLinearSolver()	Returns the default solver for linear optimization problems. If a default solver for linear problems has been configured this solver is returned by this method.

Methods in net.sf.tweety.math.opt with parameters of type Solver

Modifier and Type	Method	Description
static void	Solver.setDefaultGeneralSolver(Solver solver)	Sets the default solver for non-linear (general) optimization problems.
static void	Solver.setDefaultIntegerLinearSolver(Solver solver)	Sets the default solver for integer linear optimization problems.
static void	Solver.setDefaultLinearSolver(Solver solver)	Sets the default solver for linear optimization problems.

Uses of Solver in net.sf.tweety.math.opt.solver

Subclasses of Solver in net.sf.tweety.math.opt.solver

Modifier and Type	Class	Description
class	ApacheCommonsCMAESOptimizer	This class is a wrapper for the Apache Commons Math3 CMAES optimizer (https://commons.apache.org/proper/commons-math/).
class	ApacheCommonsNonLinearConjugateGradientOptimizer	This class is a wrapper for the Apache Commons Math3 Non-Linear Conjugate Gradient Optimizer (https://commons.apache.org/proper/commons-math/).
class	ApacheCommonsSimplex	This class is a wrapper for the Apache Commons Math Simplex implementation.
class	BfgsSolver	This class implements the BFGS algorithm for solving unconstrained optimization problems.
class	GlpkSolver	Provides a Java binding to the Glpk solver (https://www.gnu.org/software/glpk).
class	GradientDescent	This class implements the gradient descent method to find an optimum.
class	HessianGradientDescent	This class implements a gradient descent involving Hessian correction for solving unconstrained optimization problems.
class	LagrangeSolver	This class implements a (naive) Langrange solver for optimization problems. This solver only considers optimization problems without inequations.
class	LbfgsSolver	This class implements a wrapper for L-BFGS.
class	LpSolve	This class implements a wrapper to the lpsolve binary for mixed integer linear programming.
class	OctaveSqpSolver	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.
class	OpenOptSolver	This class implements a wrapper for the OpenOpt optimization library.
class	OpenOptWebSolver	Uses a web service implementation of the OpenOpt-library.
class	SimpleGeneticOptimizationSolver	This class implements a simple genetic optimization algorithm for solving optimization problems with box or equality constraints on float variables.

Uses of Solver in net.sf.tweety.web.services

Fields in net.sf.tweety.web.services declared as Solver

Modifier and Type	Field	Description
static Solver	InconsistencyMeasurementService.integerLinearSolver	The integer linear optimization solver configured for this service.
static Solver	InconsistencyMeasurementService.linearSolver	The linear optimization solver configured for this service.