Package org.tweetyproject.math.opt.solver

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

Combinatorics Solver

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
CombinatoricsSolver()	Constructor

Method Summary

Modifier and Type	Method	Description
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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CombinatoricsSolver

public CombinatoricsSolver()

Constructor

Method Details

solve

public 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 class Solver

Parameters:

problem - the actual problem

Returns:

a mapping from variables of the problem to terms.

Throws:

GeneralMathException - if something went wrong.