CSPOM is the central class of the Constraint Satisfaction Problem Object
Model. You can create a problem from scratch by instantiating this class and
then using the ctr and var methods. The CSPOM.load() method can be used in
order to create a CSPOM object from an XCSP file.
The CSPOM class adheres to the following definition :
A CSP is defined as a pair (X, C), X being a finite set of variables, and C a
finite set of constraints.
A domain is associated to each variable x in X. Each constraint involves a
finite set of variables (its scope) and defines a set of allowed and
forbidden instantiations of these variables.
See also
CSPOMVariable
CSPOMConstraint
Linear Supertypes
LazyLogging, AnyRef, Any
Ordering
Alphabetic
By Inheritance
Inherited
CSPOM
LazyLogging
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
newCSPOM()
Value Members
final def!=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def##(): Int
Definition Classes
AnyRef → Any
final def==(arg0: Any): Boolean
Definition Classes
AnyRef → Any
defaddAnnotation(expressionName: String, annotationName: String, annotation: Any): Unit
CSPOM is the central class of the Constraint Satisfaction Problem Object Model. You can create a problem from scratch by instantiating this class and then using the ctr and var methods. The CSPOM.load() method can be used in order to create a CSPOM object from an XCSP file.
The CSPOM class adheres to the following definition :
A CSP is defined as a pair (X, C), X being a finite set of variables, and C a finite set of constraints.
A domain is associated to each variable x in X. Each constraint involves a finite set of variables (its scope) and defines a set of allowed and forbidden instantiations of these variables.
CSPOMVariable
CSPOMConstraint