Class GlobalConstraints

    • Field Detail

      • useDisjunctions

        boolean useDisjunctions
      • useCumulativeUnary

        boolean useCumulativeUnary
    • Constructor Detail

      • GlobalConstraints

        public GlobalConstraints​(Support support)
    • Method Detail

      • gen_jacop_cumulative

        void gen_jacop_cumulative​(SimpleNode node)
      • impliedCumulativeUnaryConstraints

        void impliedCumulativeUnaryConstraints​(IntVar[] s,
                                               IntVar[] d,
                                               IntVar[] r,
                                               IntVar b)
      • impliedDisjunctionConstraints

        void impliedDisjunctionConstraints​(IntVar[] s,
                                           IntVar[] d,
                                           IntVar[] r,
                                           IntVar b)
      • gen_jacop_circuit

        void gen_jacop_circuit​(SimpleNode node)
      • gen_jacop_subcircuit

        void gen_jacop_subcircuit​(SimpleNode node)
      • gen_jacop_alldiff

        void gen_jacop_alldiff​(SimpleNode node)
      • gen_jacop_softalldiff

        void gen_jacop_softalldiff​(SimpleNode node)
      • gen_jacop_softgcc

        void gen_jacop_softgcc​(SimpleNode node)
      • gen_jacop_alldistinct

        void gen_jacop_alldistinct​(SimpleNode node)
      • gen_jacop_among_var

        void gen_jacop_among_var​(SimpleNode node)
      • gen_jacop_among

        void gen_jacop_among​(SimpleNode node)
      • gen_jacop_gcc

        void gen_jacop_gcc​(SimpleNode node)
      • gen_jacop_global_cardinality_closed

        void gen_jacop_global_cardinality_closed​(SimpleNode node)
      • gen_jacop_global_cardinality_low_up_closed

        void gen_jacop_global_cardinality_low_up_closed​(SimpleNode node)
      • varsContain

        boolean varsContain​(IntVar[] x,
                            int e)
      • gen_jacop_diff2_strict

        void gen_jacop_diff2_strict​(SimpleNode node)
      • gen_jacop_diff2

        void gen_jacop_diff2​(SimpleNode node)
      • gen_jacop_list_diff2

        void gen_jacop_list_diff2​(SimpleNode node)
      • gen_jacop_count

        void gen_jacop_count​(SimpleNode node)
      • gen_jacop_count_reif

        void gen_jacop_count_reif​(SimpleNode node)
      • gen_count_eq_imp

        void gen_count_eq_imp​(SimpleNode node)
      • gen_jacop_count_bounds

        void gen_jacop_count_bounds​(SimpleNode node)
      • gen_jacop_count_values

        void gen_jacop_count_values​(SimpleNode node)
      • gen_jacop_count_values_bounds

        void gen_jacop_count_values_bounds​(SimpleNode node)
      • gen_jacop_count_var

        void gen_jacop_count_var​(SimpleNode node)
      • gen_jacop_count_var_reif

        void gen_jacop_count_var_reif​(SimpleNode node)
      • gen_jacop_atleast

        void gen_jacop_atleast​(SimpleNode node)
      • gen_jacop_atleast_reif

        void gen_jacop_atleast_reif​(SimpleNode node)
      • gen_jacop_atmost

        void gen_jacop_atmost​(SimpleNode node)
      • gen_jacop_atmost_reif

        void gen_jacop_atmost_reif​(SimpleNode node)
      • gen_jacop_nvalue

        void gen_jacop_nvalue​(SimpleNode node)
      • gen_jacop_minimum_arg_int

        void gen_jacop_minimum_arg_int​(SimpleNode node)
      • gen_jacop_minimum

        void gen_jacop_minimum​(SimpleNode node)
      • gen_jacop_maximum_arg_int

        void gen_jacop_maximum_arg_int​(SimpleNode node)
      • gen_jacop_maximum

        void gen_jacop_maximum​(SimpleNode node)
      • gen_jacop_member

        void gen_jacop_member​(SimpleNode node)
      • gen_jacop_member_reif

        void gen_jacop_member_reif​(SimpleNode node)
      • gen_jacop_table_int

        void gen_jacop_table_int​(SimpleNode node)
      • gen_jacop_assignment

        void gen_jacop_assignment​(SimpleNode node)
      • gen_jacop_regular

        void gen_jacop_regular​(SimpleNode node)
      • gen_jacop_knapsack

        void gen_jacop_knapsack​(SimpleNode node)
      • gen_jacop_sequence

        void gen_jacop_sequence​(SimpleNode node)
      • gen_jacop_stretch

        void gen_jacop_stretch​(SimpleNode node)
      • gen_jacop_disjoint

        void gen_jacop_disjoint​(SimpleNode node)
      • gen_jacop_networkflow

        void gen_jacop_networkflow​(SimpleNode node)
      • gen_jacop_lex_less_int

        void gen_jacop_lex_less_int​(SimpleNode node)
      • gen_jacop_lex_lesseq_int

        void gen_jacop_lex_lesseq_int​(SimpleNode node)
      • gen_jacop_value_precede_int

        void gen_jacop_value_precede_int​(SimpleNode node)
      • gen_jacop_bin_packing

        void gen_jacop_bin_packing​(SimpleNode node)
      • gen_jacop_float_maximum

        void gen_jacop_float_maximum​(SimpleNode node)
      • gen_jacop_float_minimum

        void gen_jacop_float_minimum​(SimpleNode node)
      • gen_jacop_geost

        void gen_jacop_geost​(SimpleNode node)
      • gen_jacop_geost_bb

        void gen_jacop_geost_bb​(SimpleNode node)
      • gen_jacop_if_then_else_int

        void gen_jacop_if_then_else_int​(SimpleNode node)
      • gen_jacop_if_then_else_float

        void gen_jacop_if_then_else_float​(SimpleNode node)
      • gen_jacop_if_then_else_set

        void gen_jacop_if_then_else_set​(SimpleNode node)
      • gen_jacop_channel

        void gen_jacop_channel​(SimpleNode node)
      • allVarOne

        boolean allVarOne​(IntVar[] w)
      • allVarGround

        boolean allVarGround​(IntVar[] w)
      • uniqueIndex

        int[] uniqueIndex​(IntVar[] vs)
      • removeInfeasibleTuples

        int[][] removeInfeasibleTuples​(int[][] t)