Class ConstraintFncs


  • public final class ConstraintFncs
    extends java.lang.Object
    • Constructor Detail

      • ConstraintFncs

        public ConstraintFncs​(Support support)
    • Method Detail

      • array_bool_and

        public void array_bool_and​(SimpleNode n)
      • array_bool_and_imp

        public void array_bool_and_imp​(SimpleNode n)
      • array_bool_or

        public void array_bool_or​(SimpleNode n)
      • array_bool_or_imp

        public void array_bool_or_imp​(SimpleNode n)
      • array_bool_xor

        public void array_bool_xor​(SimpleNode n)
      • array_bool_xor_imp

        public void array_bool_xor_imp​(SimpleNode n)
      • bool_and

        public void bool_and​(SimpleNode n)
      • bool_and_imp

        public void bool_and_imp​(SimpleNode n)
      • bool_not

        public void bool_not​(SimpleNode n)
      • bool_xor

        public void bool_xor​(SimpleNode n)
      • bool_clause

        public void bool_clause​(SimpleNode n)
      • bool_clause_reif

        public void bool_clause_reif​(SimpleNode n)
      • bool_clause_imp

        public void bool_clause_imp​(SimpleNode n)
      • bool2int

        public void bool2int​(SimpleNode n)
      • bool_eq_reif

        public void bool_eq_reif​(SimpleNode n)
      • bool_eq_imp

        public void bool_eq_imp​(SimpleNode n)
      • bool_ne_reif

        public void bool_ne_reif​(SimpleNode n)
      • bool_ne_imp

        public void bool_ne_imp​(SimpleNode n)
      • bool_le_reif

        public void bool_le_reif​(SimpleNode n)
      • bool_le_imp

        public void bool_le_imp​(SimpleNode n)
      • bool_lt_reif

        public void bool_lt_reif​(SimpleNode n)
      • bool_lt_imp

        public void bool_lt_imp​(SimpleNode n)
      • bool_gt_imp

        public void bool_gt_imp​(SimpleNode n)
      • bool_ge_imp

        public void bool_ge_imp​(SimpleNode n)
      • int_eq_reif

        public void int_eq_reif​(SimpleNode n)
      • int_eq_imp

        public void int_eq_imp​(SimpleNode n)
      • int_ne_reif

        public void int_ne_reif​(SimpleNode n)
      • int_ne_imp

        public void int_ne_imp​(SimpleNode n)
      • int_le_reif

        public void int_le_reif​(SimpleNode n)
      • int_le_imp

        public void int_le_imp​(SimpleNode n)
      • int_lt_reif

        public void int_lt_reif​(SimpleNode n)
      • int_lt_imp

        public void int_lt_imp​(SimpleNode n)
      • int_gt_imp

        public void int_gt_imp​(SimpleNode n)
      • int_ge_imp

        public void int_ge_imp​(SimpleNode n)
      • bool_lin_eq

        public void bool_lin_eq​(SimpleNode n)
      • bool_lin_eq_reif

        public void bool_lin_eq_reif​(SimpleNode n)
      • bool_lin_ne

        public void bool_lin_ne​(SimpleNode n)
      • bool_lin_ne_reif

        public void bool_lin_ne_reif​(SimpleNode n)
      • bool_lin_lt

        public void bool_lin_lt​(SimpleNode n)
      • bool_lin_lt_reif

        public void bool_lin_lt_reif​(SimpleNode n)
      • bool_lin_le

        public void bool_lin_le​(SimpleNode n)
      • bool_lin_le_reif

        public void bool_lin_le_reif​(SimpleNode n)
      • int_lin_eq

        public void int_lin_eq​(SimpleNode n)
      • int_lin_eq_reif

        public void int_lin_eq_reif​(SimpleNode n)
      • int_lin_eq_imp

        public void int_lin_eq_imp​(SimpleNode n)
      • int_lin_ne

        public void int_lin_ne​(SimpleNode n)
      • int_lin_ne_reif

        public void int_lin_ne_reif​(SimpleNode n)
      • int_lin_ne_imp

        public void int_lin_ne_imp​(SimpleNode n)
      • int_lin_lt

        public void int_lin_lt​(SimpleNode n)
      • int_lin_lt_reif

        public void int_lin_lt_reif​(SimpleNode n)
      • int_lin_lt_imp

        public void int_lin_lt_imp​(SimpleNode n)
      • int_lin_le

        public void int_lin_le​(SimpleNode n)
      • int_lin_le_reif

        public void int_lin_le_reif​(SimpleNode n)
      • int_lin_le_imp

        public void int_lin_le_imp​(SimpleNode n)
      • int_lin_gt_imp

        public void int_lin_gt_imp​(SimpleNode n)
      • int_lin_ge_imp

        public void int_lin_ge_imp​(SimpleNode n)
      • int_times

        public void int_times​(SimpleNode n)
      • int_plus

        public void int_plus​(SimpleNode n)
      • int2float

        public void int2float​(SimpleNode n)
      • array_bool_element

        public void array_bool_element​(SimpleNode n)
      • array_var_bool_element

        public void array_var_bool_element​(SimpleNode n)
      • array_int_element

        public void array_int_element​(SimpleNode n)
      • array_var_int_element

        public void array_var_int_element​(SimpleNode n)
      • array_set_element

        public void array_set_element​(SimpleNode n)
      • array_var_set_element

        public void array_var_set_element​(SimpleNode n)
      • array_float_element

        public void array_float_element​(SimpleNode n)
      • array_var_float_element

        public void array_var_float_element​(SimpleNode n)
      • jacop_cumulative

        public void jacop_cumulative​(SimpleNode n)
      • jacop_circuit

        public void jacop_circuit​(SimpleNode n)
      • jacop_subcircuit

        public void jacop_subcircuit​(SimpleNode n)
      • jacop_alldiff

        public void jacop_alldiff​(SimpleNode n)
      • jacop_softalldiff

        public void jacop_softalldiff​(SimpleNode n)
      • jacop_softgcc

        public void jacop_softgcc​(SimpleNode n)
      • jacop_alldistinct

        public void jacop_alldistinct​(SimpleNode n)
      • jacop_among_var

        public void jacop_among_var​(SimpleNode n)
      • jacop_among

        public void jacop_among​(SimpleNode n)
      • jacop_gcc

        public void jacop_gcc​(SimpleNode n)
      • jacop_global_cardinality_closed

        public void jacop_global_cardinality_closed​(SimpleNode n)
      • jacop_global_cardinality_low_up_closed

        public void jacop_global_cardinality_low_up_closed​(SimpleNode n)
      • jacop_diff2_strict

        public void jacop_diff2_strict​(SimpleNode n)
      • jacop_diff2

        public void jacop_diff2​(SimpleNode n)
      • jacop_list_diff2

        public void jacop_list_diff2​(SimpleNode n)
      • jacop_count

        public void jacop_count​(SimpleNode n)
      • jacop_count_bounds

        public void jacop_count_bounds​(SimpleNode n)
      • jacop_atleast

        public void jacop_atleast​(SimpleNode n)
      • jacop_atleast_reif

        public void jacop_atleast_reif​(SimpleNode n)
      • jacop_atmost

        public void jacop_atmost​(SimpleNode n)
      • jacop_atmost_reif

        public void jacop_atmost_reif​(SimpleNode n)
      • jacop_nvalue

        public void jacop_nvalue​(SimpleNode n)
      • jacop_minimum_arg_int

        public void jacop_minimum_arg_int​(SimpleNode n)
      • jacop_minimum

        public void jacop_minimum​(SimpleNode n)
      • jacop_maximum_arg_int

        public void jacop_maximum_arg_int​(SimpleNode n)
      • jacop_maximum

        public void jacop_maximum​(SimpleNode n)
      • jacop_member_int

        public void jacop_member_int​(SimpleNode n)
      • jacop_member_int_reif

        public void jacop_member_int_reif​(SimpleNode n)
      • jacop_member_bool

        public void jacop_member_bool​(SimpleNode n)
      • jacop_member_bool_reif

        public void jacop_member_bool_reif​(SimpleNode n)
      • jacop_table_int

        public void jacop_table_int​(SimpleNode n)
      • jacop_table_bool

        public void jacop_table_bool​(SimpleNode n)
      • jacop_assignment

        public void jacop_assignment​(SimpleNode n)
      • jacop_regular

        public void jacop_regular​(SimpleNode n)
      • jacop_knapsack

        public void jacop_knapsack​(SimpleNode n)
      • jacop_sequence

        public void jacop_sequence​(SimpleNode n)
      • jacop_stretch

        public void jacop_stretch​(SimpleNode n)
      • jacop_disjoint

        public void jacop_disjoint​(SimpleNode n)
      • jacop_networkflow

        public void jacop_networkflow​(SimpleNode n)
      • jacop_lex_less_int

        public void jacop_lex_less_int​(SimpleNode n)
      • jacop_lex_less_bool

        public void jacop_lex_less_bool​(SimpleNode n)
      • jacop_lex_lesseq_int

        public void jacop_lex_lesseq_int​(SimpleNode n)
      • jacop_lex_lesseq_bool

        public void jacop_lex_lesseq_bool​(SimpleNode n)
      • jacop_value_precede_int

        public void jacop_value_precede_int​(SimpleNode n)
      • jacop_bin_packing

        public void jacop_bin_packing​(SimpleNode n)
      • jacop_float_maximum

        public void jacop_float_maximum​(SimpleNode n)
      • jacop_float_minimum

        public void jacop_float_minimum​(SimpleNode n)
      • jacop_geost

        public void jacop_geost​(SimpleNode n)
      • jacop_geost_bb

        public void jacop_geost_bb​(SimpleNode n)
      • jacop_if_then_else_int

        public void jacop_if_then_else_int​(SimpleNode n)
      • jacop_if_then_else_bool

        public void jacop_if_then_else_bool​(SimpleNode n)
      • jacop_if_then_else_float

        public void jacop_if_then_else_float​(SimpleNode n)
      • jacop_if_then_else_set

        public void jacop_if_then_else_set​(SimpleNode n)
      • set_card

        public void set_card​(SimpleNode n)
      • set_diff

        public void set_diff​(SimpleNode n)
      • set_eq_reif

        public void set_eq_reif​(SimpleNode n)
      • set_in_reif

        public void set_in_reif​(SimpleNode n)
      • set_in_imp

        public void set_in_imp​(SimpleNode n)
      • set_intersect

        public void set_intersect​(SimpleNode n)
      • set_le_reif

        public void set_le_reif​(SimpleNode n)
      • set_lt_reif

        public void set_lt_reif​(SimpleNode n)
      • set_ne_reif

        public void set_ne_reif​(SimpleNode n)
      • set_subset

        public void set_subset​(SimpleNode n)
      • set_subset_reif

        public void set_subset_reif​(SimpleNode n)
      • set_symdiff

        public void set_symdiff​(SimpleNode n)
      • set_union

        public void set_union​(SimpleNode n)
      • float_eq

        public void float_eq​(SimpleNode n)
      • float_eq_reif

        public void float_eq_reif​(SimpleNode n)
      • float_ne

        public void float_ne​(SimpleNode n)
      • float_ne_reif

        public void float_ne_reif​(SimpleNode n)
      • float_le

        public void float_le​(SimpleNode n)
      • float_le_reif

        public void float_le_reif​(SimpleNode n)
      • float_lt

        public void float_lt​(SimpleNode n)
      • float_lt_reif

        public void float_lt_reif​(SimpleNode n)
      • float_lin_eq

        public void float_lin_eq​(SimpleNode n)
      • float_lin_eq_reif

        public void float_lin_eq_reif​(SimpleNode n)
      • float_lin_le

        public void float_lin_le​(SimpleNode n)
      • float_lin_le_reif

        public void float_lin_le_reif​(SimpleNode n)
      • float_lin_lt

        public void float_lin_lt​(SimpleNode n)
      • float_lin_lt_reif

        public void float_lin_lt_reif​(SimpleNode n)
      • float_lin_ne

        public void float_lin_ne​(SimpleNode n)
      • float_lin_ne_reif

        public void float_lin_ne_reif​(SimpleNode n)
      • float_abs

        public void float_abs​(SimpleNode n)
      • float_acos

        public void float_acos​(SimpleNode n)
      • float_asin

        public void float_asin​(SimpleNode n)
      • float_atan

        public void float_atan​(SimpleNode n)
      • float_cos

        public void float_cos​(SimpleNode n)
      • float_exp

        public void float_exp​(SimpleNode n)
      • float_ln

        public void float_ln​(SimpleNode n)
      • float_log10

        public void float_log10​(SimpleNode n)
      • float_log2

        public void float_log2​(SimpleNode n)
      • float_sqrt

        public void float_sqrt​(SimpleNode n)
      • float_sin

        public void float_sin​(SimpleNode n)
      • float_tan

        public void float_tan​(SimpleNode n)
      • float_max

        public void float_max​(SimpleNode n)
      • float_min

        public void float_min​(SimpleNode n)
      • float_plus

        public void float_plus​(SimpleNode n)
      • float_times

        public void float_times​(SimpleNode n)
      • float_div

        public void float_div​(SimpleNode n)
      • float_pow

        public void float_pow​(SimpleNode n)