cspom

Type Members

1. class Annotations extends Parameterized

   

2. class CSPOM extends LazyLogging

   

   CSPOM is the central class of the Constraint Satisfaction Problem Object Model.

   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

3. final case class CSPOMConstraint[+T](result: CSPOMExpression[T], function: Symbol, arguments: Seq[CSPOMExpression[Any]], params: Map[String, Any] = Map()) extends Parameterized with LazyLogging with Product with Serializable

   

4. sealed trait CSPOMGoal[+T] extends AnyRef

   

5. final class CSPParseException extends Exception

   

   Exception used to report an error while parsing an XCSP file.

6. case class ConstraintParameters(m: Map[String, Any]) extends Map[String, Any] with Product with Serializable

   

7. trait Parameterized extends AnyRef

   

8. class Statistic extends Annotation with Annotation with ClassfileAnnotation

   

9. class StatisticsManager extends LazyLogging

   

10. class UNSATException extends Exception

    

11. final class VariableNames extends AnyRef

    

12. case class WithParam[+T](obj: T, params: Map[String, Any]) extends Parameterized with Product with Serializable