Class PropCondAllDiffInst

    • Constructor Detail

      • PropCondAllDiffInst

        public PropCondAllDiffInst​(IntVar[] variables,
                                   Condition c,
                                   boolean mode)
        ConditionnalAllDifferent constraint for integer variables enables to control the cardinality of the matching IF mode for all X in vars, condition(X) => X != Y, for all Y in vars ELSE for all X,Y in vars, condition(X) AND condition(Y) => X != Y
        variables - array of integer variables
        c - a condition to define the subset of variables subject to the AllDiff cstr
        mode - defines how to apply filtering