Class ConstraintFncs

java.lang.Object
org.jacop.fz.constraints.ConstraintFncs

public final class ConstraintFncs extends Object
  • Field Details

  • Constructor Details

    • ConstraintFncs

      public ConstraintFncs(Support support)
  • Method Details

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

      public void bool_or(SimpleNode n)
    • bool_xor

      public void bool_xor(SimpleNode n)
    • bool_xor_imp

      public void bool_xor_imp(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

      public void bool_eq(SimpleNode n)
    • bool_eq_reif

      public void bool_eq_reif(SimpleNode n)
    • bool_eq_imp

      public void bool_eq_imp(SimpleNode n)
    • bool_ne

      public void bool_ne(SimpleNode n)
    • bool_ne_reif

      public void bool_ne_reif(SimpleNode n)
    • bool_ne_imp

      public void bool_ne_imp(SimpleNode n)
    • bool_le

      public void bool_le(SimpleNode n)
    • bool_le_reif

      public void bool_le_reif(SimpleNode n)
    • bool_le_imp

      public void bool_le_imp(SimpleNode n)
    • bool_lt

      public void bool_lt(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

      public void int_eq(SimpleNode n)
    • int_eq_reif

      public void int_eq_reif(SimpleNode n)
    • int_eq_imp

      public void int_eq_imp(SimpleNode n)
    • int_ne

      public void int_ne(SimpleNode n)
    • int_ne_reif

      public void int_ne_reif(SimpleNode n)
    • int_ne_imp

      public void int_ne_imp(SimpleNode n)
    • int_le

      public void int_le(SimpleNode n)
    • int_le_reif

      public void int_le_reif(SimpleNode n)
    • int_le_imp

      public void int_le_imp(SimpleNode n)
    • int_lt

      public void int_lt(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_min

      public void int_min(SimpleNode n)
    • int_max

      public void int_max(SimpleNode n)
    • int_mod

      public void int_mod(SimpleNode n)
    • int_div

      public void int_div(SimpleNode n)
    • int_abs

      public void int_abs(SimpleNode n)
    • int_times

      public void int_times(SimpleNode n)
    • int_plus

      public void int_plus(SimpleNode n)
    • int_pow

      public void int_pow(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_reif

      public void jacop_count_reif(SimpleNode n)
    • jacop_count_var

      public void jacop_count_var(SimpleNode n)
    • jacop_count_var_reif

      public void jacop_count_var_reif(SimpleNode n)
    • jacop_count_values

      public void jacop_count_values(SimpleNode n)
    • jacop_count_values_bounds

      public void jacop_count_values_bounds(SimpleNode n)
    • count_eq_imp

      public void count_eq_imp(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_arg_bool

      public void jacop_minimum_arg_bool(SimpleNode n)
    • jacop_minimum

      public void jacop_minimum(SimpleNode n)
    • jacop_maximum_arg_int

      public void jacop_maximum_arg_int(SimpleNode n)
    • jacop_maximum_arg_bool

      public void jacop_maximum_arg_bool(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_increasing

      public void jacop_increasing(SimpleNode n)
    • jacop_decreasing

      public void jacop_decreasing(SimpleNode n)
    • jacop_strictly_increasing

      public void jacop_strictly_increasing(SimpleNode n)
    • jacop_strictly_decreasing

      public void jacop_strictly_decreasing(SimpleNode n)
    • jacop_value_precede_int

      public void jacop_value_precede_int(SimpleNode n)
    • jacop_value_precede_chain_int

      public void jacop_value_precede_chain_int(SimpleNode n)
    • jacop_bin_packing

      public void jacop_bin_packing(SimpleNode n)
    • jacop_bin_packing_capacity

      public void jacop_bin_packing_capacity(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)
    • jacop_channel

      public void jacop_channel(SimpleNode n)
    • jacop_all_equal_int

      public void jacop_all_equal_int(SimpleNode n)
    • jacop_all_equal_int_reif

      public void jacop_all_equal_int_reif(SimpleNode n)
    • jacop_seq_precede_chain_int

      public void jacop_seq_precede_chain_int(SimpleNode n)
    • jacop_cumulative_optional

      public void jacop_cumulative_optional(SimpleNode n)
    • jacop_disjunctive_optional

      public void jacop_disjunctive_optional(SimpleNode n)
    • set_card

      public void set_card(SimpleNode n)
    • set_diff

      public void set_diff(SimpleNode n)
    • set_eq

      public void set_eq(SimpleNode n)
    • set_eq_reif

      public void set_eq_reif(SimpleNode n)
    • set_in

      public void set_in(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

      public void set_le(SimpleNode n)
    • set_le_reif

      public void set_le_reif(SimpleNode n)
    • set_lt

      public void set_lt(SimpleNode n)
    • set_lt_reif

      public void set_lt_reif(SimpleNode n)
    • set_ne

      public void set_ne(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)
    • jacop_int_set_channel

      public void jacop_int_set_channel(SimpleNode n)
    • jacop_partition_set

      public void jacop_partition_set(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)
    • float_round

      public void float_round(SimpleNode n)
    • float_floor

      public void float_floor(SimpleNode n)
    • float_ceil

      public void float_ceil(SimpleNode n)
    • jacop_graph_match

      public void jacop_graph_match(SimpleNode n)
    • jacop_digraph_match

      public void jacop_digraph_match(SimpleNode n)
    • jacop_sub_graph_match

      public void jacop_sub_graph_match(SimpleNode n)
    • jacop_sub_digraph_match

      public void jacop_sub_digraph_match(SimpleNode n)
    • jacop_clique

      public void jacop_clique(SimpleNode n)
    • jacop_graph_isomorphism

      public void jacop_graph_isomorphism(SimpleNode n)