Uses of Class
net.sf.tweety.math.opt.ConstraintSatisfactionProblem
-
Packages that use ConstraintSatisfactionProblem Package Description net.sf.tweety.math.opt net.sf.tweety.math.opt.solver -
-
Uses of ConstraintSatisfactionProblem in net.sf.tweety.math.opt
Subclasses of ConstraintSatisfactionProblem in net.sf.tweety.math.opt Modifier and Type Class Description classOptimizationProblemThis class models a general optimization problem.Methods in net.sf.tweety.math.opt that return ConstraintSatisfactionProblem Modifier and Type Method Description ConstraintSatisfactionProblemConstraintSatisfactionProblem. clone()ConstraintSatisfactionProblemConstraintSatisfactionProblem. toNormalizedForm()Normalizes this problem, i.e.Methods in net.sf.tweety.math.opt with parameters of type ConstraintSatisfactionProblem Modifier and Type Method Description abstract Map<Variable,Term>Solver. solve(ConstraintSatisfactionProblem problem)Computes a solution to the given constraint satisfaction or optimization problem, i.e. -
Uses of ConstraintSatisfactionProblem in net.sf.tweety.math.opt.solver
-