Package org.jacop.fz.constraints
Class ConstraintFncs
java.lang.Object
org.jacop.fz.constraints.ConstraintFncs
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) BoolConstraints
(package private) ComparisonConstraints
(package private) ElementConstraints
(package private) FloatComparisonConstraints
(package private) FloatLinearConstraints
(package private) FloatOperationConstraints
(package private) GlobalConstraints
(package private) GraphConstraints
(package private) LinearConstraints
(package private) OperationConstraints
(package private) SetConstraints
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
int_eq
(SimpleNode n) void
void
void
void
void
int_le
(SimpleNode n) void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
int_lt
(SimpleNode n) void
void
void
void
void
void
int_ne
(SimpleNode n) void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
void
set_eq
(SimpleNode n) void
void
set_in
(SimpleNode n) void
void
void
void
set_le
(SimpleNode n) void
void
set_lt
(SimpleNode n) void
void
set_ne
(SimpleNode n) void
void
void
void
void
-
Field Details
-
bc
-
cc
-
lc
-
oc
-
ec
-
gc
-
graph
GraphConstraints graph -
sc
-
fcc
-
flc
-
foc
-
-
Constructor Details
-
ConstraintFncs
-
-
Method Details
-
array_bool_and
-
array_bool_and_imp
-
array_bool_or
-
array_bool_or_imp
-
array_bool_xor
-
array_bool_xor_imp
-
bool_and
-
bool_and_imp
-
bool_not
-
bool_or
-
bool_xor
-
bool_xor_imp
-
bool_clause
-
bool_clause_reif
-
bool_clause_imp
-
bool2int
-
bool_eq
-
bool_eq_reif
-
bool_eq_imp
-
bool_ne
-
bool_ne_reif
-
bool_ne_imp
-
bool_le
-
bool_le_reif
-
bool_le_imp
-
bool_lt
-
bool_lt_reif
-
bool_lt_imp
-
bool_gt_imp
-
bool_ge_imp
-
int_eq
-
int_eq_reif
-
int_eq_imp
-
int_ne
-
int_ne_reif
-
int_ne_imp
-
int_le
-
int_le_reif
-
int_le_imp
-
int_lt
-
int_lt_reif
-
int_lt_imp
-
int_gt_imp
-
int_ge_imp
-
bool_lin_eq
-
bool_lin_eq_reif
-
bool_lin_ne
-
bool_lin_ne_reif
-
bool_lin_lt
-
bool_lin_lt_reif
-
bool_lin_le
-
bool_lin_le_reif
-
int_lin_eq
-
int_lin_eq_reif
-
int_lin_eq_imp
-
int_lin_ne
-
int_lin_ne_reif
-
int_lin_ne_imp
-
int_lin_lt
-
int_lin_lt_reif
-
int_lin_lt_imp
-
int_lin_le
-
int_lin_le_reif
-
int_lin_le_imp
-
int_lin_gt_imp
-
int_lin_ge_imp
-
int_min
-
int_max
-
int_mod
-
int_div
-
int_abs
-
int_times
-
int_plus
-
int_pow
-
int2float
-
array_bool_element
-
array_var_bool_element
-
array_int_element
-
array_var_int_element
-
array_set_element
-
array_var_set_element
-
array_float_element
-
array_var_float_element
-
jacop_cumulative
-
jacop_circuit
-
jacop_subcircuit
-
jacop_alldiff
-
jacop_softalldiff
-
jacop_softgcc
-
jacop_alldistinct
-
jacop_among_var
-
jacop_among
-
jacop_gcc
-
jacop_global_cardinality_closed
-
jacop_global_cardinality_low_up_closed
-
jacop_diff2_strict
-
jacop_diff2
-
jacop_list_diff2
-
jacop_count
-
jacop_count_reif
-
jacop_count_var
-
jacop_count_var_reif
-
jacop_count_values
-
jacop_count_values_bounds
-
count_eq_imp
-
jacop_count_bounds
-
jacop_atleast
-
jacop_atleast_reif
-
jacop_atmost
-
jacop_atmost_reif
-
jacop_nvalue
-
jacop_minimum_arg_int
-
jacop_minimum_arg_bool
-
jacop_minimum
-
jacop_maximum_arg_int
-
jacop_maximum_arg_bool
-
jacop_maximum
-
jacop_member_int
-
jacop_member_int_reif
-
jacop_member_bool
-
jacop_member_bool_reif
-
jacop_table_int
-
jacop_table_bool
-
jacop_assignment
-
jacop_regular
-
jacop_knapsack
-
jacop_sequence
-
jacop_stretch
-
jacop_disjoint
-
jacop_networkflow
-
jacop_lex_less_int
-
jacop_lex_less_bool
-
jacop_lex_lesseq_int
-
jacop_lex_lesseq_bool
-
jacop_increasing
-
jacop_decreasing
-
jacop_strictly_increasing
-
jacop_strictly_decreasing
-
jacop_value_precede_int
-
jacop_value_precede_chain_int
-
jacop_bin_packing
-
jacop_bin_packing_capacity
-
jacop_float_maximum
-
jacop_float_minimum
-
jacop_geost
-
jacop_geost_bb
-
jacop_if_then_else_int
-
jacop_if_then_else_bool
-
jacop_if_then_else_float
-
jacop_if_then_else_set
-
jacop_channel
-
jacop_all_equal_int
-
jacop_all_equal_int_reif
-
jacop_seq_precede_chain_int
-
jacop_cumulative_optional
-
jacop_disjunctive_optional
-
set_card
-
set_diff
-
set_eq
-
set_eq_reif
-
set_in
-
set_in_reif
-
set_in_imp
-
set_intersect
-
set_le
-
set_le_reif
-
set_lt
-
set_lt_reif
-
set_ne
-
set_ne_reif
-
set_subset
-
set_subset_reif
-
set_symdiff
-
set_union
-
jacop_int_set_channel
-
jacop_link_set_to_booleans
-
jacop_partition_set
-
float_eq
-
float_eq_reif
-
float_ne
-
float_ne_reif
-
float_le
-
float_le_reif
-
float_lt
-
float_lt_reif
-
float_lin_eq
-
float_lin_eq_reif
-
float_lin_le
-
float_lin_le_reif
-
float_lin_lt
-
float_lin_lt_reif
-
float_lin_ne
-
float_lin_ne_reif
-
float_abs
-
float_acos
-
float_asin
-
float_atan
-
float_cos
-
float_exp
-
float_ln
-
float_log10
-
float_log2
-
float_sqrt
-
float_sin
-
float_tan
-
float_max
-
float_min
-
float_plus
-
float_times
-
float_div
-
float_pow
-
float_round
-
float_floor
-
float_ceil
-
jacop_graph_match
-
jacop_digraph_match
-
jacop_sub_graph_match
-
jacop_sub_digraph_match
-
jacop_clique
-
jacop_graph_isomorphism
-