Package org.jacop.fz.constraints

Class GlobalConstraints

java.lang.Object
org.jacop.fz.constraints.GlobalConstraints
All Implemented Interfaces:
ParserTreeConstants
class GlobalConstraints extends Object implements ParserTreeConstants
Generation of global constraints in flatzinc.

  • Field Details

  • Constructor Details

    • GlobalConstraints

      public GlobalConstraints(Support support)

  • Method Details

    • 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

      void gen_jacop_diff2(SimpleNode node)

    • gen_jacop_diff2_strict

      void gen_jacop_diff2_strict(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)

    • toIntArray

      int[][] toIntArray(ArrayList<Integer>[] l)

    • equalRows

      boolean equalRows(int[] r1, int[] r2)

    • generateTableConstraints

      void generateTableConstraints(IntVar[] v, int[][] t)

    • conflictTuples

      int[][] conflictTuples(IntVar[] v, int[][] t)

    • product

      int[][] product(IntVar[] v, int[][] t)

    • eqTuples

      boolean eqTuples(int[] a, int[] b)

    • 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_increasing

      void gen_jacop_increasing(SimpleNode node, boolean strict)

    • gen_jacop_decreasing

      void gen_jacop_decreasing(SimpleNode node, boolean strict)

    • gen_jacop_value_precede_int

      void gen_jacop_value_precede_int(SimpleNode node)

    • gen_jacop_value_precede_chain_int

      void gen_jacop_value_precede_chain_int(SimpleNode node)

    • gen_jacop_seq_precede_chain_int

      void gen_jacop_seq_precede_chain_int(SimpleNode node)

    • gen_jacop_bin_packing

      void gen_jacop_bin_packing(SimpleNode node)

    • gen_jacop_bin_packing_capacity

      void gen_jacop_bin_packing_capacity(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)

    • gen_jacop_all_equal_int_reif

      void gen_jacop_all_equal_int_reif(SimpleNode node)

    • gen_jacop_all_equal_int

      void gen_jacop_all_equal_int(SimpleNode node)

    • gen_jacop_cumulative_optional

      void gen_jacop_cumulative_optional(SimpleNode node)

    • gen_jacop_disjunctive_optional

      void gen_jacop_disjunctive_optional(SimpleNode node)

    • removeDuplicates

      IntVar[] removeDuplicates(IntVar[] x)

    • allVarOne

      boolean allVarOne(IntVar[] w)

    • allVarGround

      boolean allVarGround(IntVar[] w)

    • uniqueIndex

      int[] uniqueIndex(IntVar[] vs)

    • removeInfeasibleTuples

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