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 |
Modifier and Type | Field and Description |
---|---|
private Solver |
CspInconsistencyMeasure.solver
A solver for integer linear programs.
|
private Solver |
CcInconsistencyMeasure.solver
A solver for integer linear programs.
|
Constructor and 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
|
Modifier and Type | Field and Description |
---|---|
private Solver |
MinimalViolationInconsistencyMeasure.solver
The solver used for solving the optimization problem
|
Constructor and Description |
---|
MinimalViolationInconsistencyMeasure(RealVectorNorm norm,
Solver solver)
Creates a new measure the given norm
|
Modifier and Type | Field and 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.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Class and Description |
---|---|
class |
ApacheCommonsCMAESOptimizer
This class is a wrapper for the Apache Commons Math3 CMAES optimizer.
|
class |
ApacheCommonsNonLinearConjugateGradientOptimizer
This class is a wrapper for the Apache Commons Math3 Non-Linear
Conjugate Gradient Optimizer.
|
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.
|
Modifier and Type | Field and 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.
|