Class CombinatoricsSolver
- java.lang.Object
-
- org.tweetyproject.math.opt.solver.Solver
-
- org.tweetyproject.math.opt.solver.CombinatoricsSolver
-
- Direct Known Subclasses:
AntColonyOptimization
,IteratedLocalSearch
,SimpleGeneticOptimizationSolverCombinatorics
,SimulatedAnnealing
,StochasticLocalSearch
,TabuSearch
public class CombinatoricsSolver extends Solver
-
-
Constructor Summary
Constructors Constructor Description CombinatoricsSolver()
-
Method Summary
Modifier and Type Method Description java.util.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, isInstalled, setDefaultGeneralSolver, setDefaultIntegerLinearSolver, setDefaultLinearSolver
-
-
-
-
Method Detail
-
solve
public java.util.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 classSolver
- Parameters:
problem
- the actual problem- Returns:
- a mapping from variables of the problem to terms.
- Throws:
GeneralMathException
- if something went wrong.
-
-