constraints

core

package core

This package defines a core structure for constraints. A Constraint is to be posted in ConstraintSystem All this mechanics aims at computing violation degrees associated with constraints and with constraint systems.

Visibility
  1. Public
  2. All

Type Members

  1. class Constraint extends IntInvariant

    A constraint is a function that computes a degree of violation that is managed as any invariant.

  2. class ConstraintSystem extends Constraint with ObjectiveTrait

    A constraint system is a composition of constraints.

  3. case class Equal (left: IntVar, right: IntVar) extends Constraint with Product with Serializable

    constraints left == right this is considered as a primitive constraint and used in the Constraint class, so that it is part of the core instead of the library