Module Hierarchy

• constraint

Class Hierarchy

• __builtin__.object: The most base type
  • constraint.Constraint: Abstract base class for constraints
    • constraint.AllDifferentConstraint: Constraint enforcing that values of all given variables are different
    • constraint.AllEqualConstraint: Constraint enforcing that values of all given variables are equal
    • constraint.ExactSumConstraint: Constraint enforcing that values of given variables sum exactly to a given amount
    • constraint.FunctionConstraint: Constraint which wraps a function defining the constraint logic
    • constraint.InSetConstraint: Constraint enforcing that values of given variables are present in the given set
    • constraint.MaxSumConstraint: Constraint enforcing that values of given variables sum up to a given amount
    • constraint.MinSumConstraint: Constraint enforcing that values of given variables sum at least to a given amount
    • constraint.NotInSetConstraint: Constraint enforcing that values of given variables are not present in the given set
    • constraint.SomeInSetConstraint: Constraint enforcing that at least some of the values of given variables must be present in a given set
    • constraint.SomeNotInSetConstraint: Constraint enforcing that at least some of the values of given variables must not be present in a given set
  • __builtin__.list: list() -> new list list(sequence) -> new list initialized from sequence's items
    • constraint.Domain: Class used to control possible values for variables
  • constraint.Problem: Class used to define a problem and retrieve solutions
  • constraint.Solver: Abstract base class for solvers
    • constraint.BacktrackingSolver: Problem solver with backtracking capabilities
    • constraint.MinConflictsSolver: Problem solver based on the minimum conflicts theory
    • constraint.RecursiveBacktrackingSolver: Recursive problem solver with backtracking capabilities
  • __builtin__.type: type(object) -> the object's type type(name, bases, dict) -> a new type
  • constraint.Variable: Helper class for variable definition