Module org.maxicp

Package org.maxicp.cp.engine.constraints.setvar

package org.maxicp.cp.engine.constraints.setvar
Constraints implementation for Set Variables
  • Classes
    Class
    Description
    IsIncluded
    Constraint that enforces a boolean variable to be true if a value is included in a set.
    IsSubset
    Constraint that enforces a boolean variable is true if one set is a subset of another set.
    NotSubset
    Constraint that enforces that the first set variable is not a subset of the second set variable.
    SetCard
    Constraint that links the cardinality of a set variable to an integer variable.
    Subset
    Constraint that enforces that one set variable is a subset of another set variable.