Package org.jacop.fz.constraints
Class ConstraintFncs
- java.lang.Object
-
- org.jacop.fz.constraints.ConstraintFncs
-
public final class ConstraintFncs extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description (package private) BoolConstraints
bc
(package private) ComparisonConstraints
cc
(package private) ElementConstraints
ec
(package private) FloatComparisonConstraints
fcc
(package private) FloatLinearConstraints
flc
(package private) FloatOperationConstraints
foc
(package private) GlobalConstraints
gc
(package private) LinearConstraints
lc
(package private) OperationConstraints
oc
(package private) SetConstraints
sc
-
Constructor Summary
Constructors Constructor Description ConstraintFncs(Support support)
-
Method Summary
-
-
-
Field Detail
-
bc
BoolConstraints bc
-
cc
ComparisonConstraints cc
-
lc
LinearConstraints lc
-
oc
OperationConstraints oc
-
ec
ElementConstraints ec
-
gc
GlobalConstraints gc
-
sc
SetConstraints sc
-
fcc
FloatComparisonConstraints fcc
-
flc
FloatLinearConstraints flc
-
foc
FloatOperationConstraints foc
-
-
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_or
public void bool_or(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
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_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
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)
-
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)
-
-