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

Packages that use Solver

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

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

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

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.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	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	SimpleGeneticOptimizationSolver	This class implements a simple genetic optimization algorithm for solving optimization problems with box or equality constraints on float variables.
class	SimulatedAnnealingOnConstrProb	implements the Simulated Annealing algorithm for optimization problems
class	TabuSearchOnConstrProb	implements a simple Tabu Search without long term memory for optimization problems

Methods in net.sf.tweety.math.opt.solver 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.solver 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.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.