Package omnics

Provides the main classes and interfaces for modelling a problem as a CSP instance and for solving it.

See:
Description

Interface Summary

Algorithm	Describes an algorithm that can be executed for a constraint satisfaction problem.
Analyzer	Describes an algorithm able to analyze a problem and to determine if it is inconsistent or is a special case or it can be easily solved.
BoundAlgorithm	Describes an algorithm that provides lower and upper bounds for the problem beeing solved.
Filter	Describes an algorithm able to perform a filter-and-propagate operation over the problem.
Solver	Describes a general solver for a constraint satisfaction problem represented as a Problem instance.
ValuationStructure	Represents a valuation structure S=(E,+,<=,0,1) A soft constraint network is a CN equipped with a valuation structure.

Class Summary

AbstractAlgorithm	Represents the abstract implementation of the Algorithm interface.
AbstractSolver	Represents the abstract implementation of the Solver interface.
AdditiveValuation	WCSP Valuation Structure.
Backtracking	A concrete implementation of SystematicSolver which uses a backtracking algorithm to explore the search space.
ClassicalValuation	CSP Valuation Structure.
Constraint	Represents an abstract constraint.
ConstraintSet	Represents a set of constraints.
DefaultAnalyzer	Represents the default problem analyzer.
DefaultBoundAlgorithm	The default BoundAlgorithm used by a SystematicSolver instance.
Domain	Represents the domain of a variable in a constraint satisfaction problem.
IntVar	Convenience class for working with integer variables.
Problem	Represents a constraint satisfaction problem.
SystematicSolver	Abstract class that describes a solver capable of exploring systematically the search space in order to find one or all solutions of a problem.
Tuple	A tuple represents an instantiation of variables: (x1=a1,x2=a2,...,xk=ak)
TupleSet
Var	Represents a variable of a constraint satisfaction problem.
VarSet	Represents a set of variables.

Package omnics Description

Provides the main classes and interfaces for modelling a problem as a CSP instance and for solving it.