org.jacop.fz.constraints

Class ConstraintFncs

java.lang.Object

org.jacop.fz.constraints.ConstraintFncs

public final class ConstraintFncs
extends Object

Constructor Summary

Constructors

Constructor and Description
ConstraintFncs(Support support)

Method Summary

Modifier and Type	Method and Description
void	array_bool_and_imp(org.jacop.fz.SimpleNode n)
void	array_bool_and(org.jacop.fz.SimpleNode n)
void	array_bool_element(org.jacop.fz.SimpleNode n)
void	array_bool_or_imp(org.jacop.fz.SimpleNode n)
void	array_bool_or(org.jacop.fz.SimpleNode n)
void	array_bool_xor_imp(org.jacop.fz.SimpleNode n)
void	array_bool_xor(org.jacop.fz.SimpleNode n)
void	array_float_element(org.jacop.fz.SimpleNode n)
void	array_int_element(org.jacop.fz.SimpleNode n)
void	array_set_element(org.jacop.fz.SimpleNode n)
void	array_var_bool_element(org.jacop.fz.SimpleNode n)
void	array_var_float_element(org.jacop.fz.SimpleNode n)
void	array_var_int_element(org.jacop.fz.SimpleNode n)
void	array_var_set_element(org.jacop.fz.SimpleNode n)
void	bool_and_imp(org.jacop.fz.SimpleNode n)
void	bool_and(org.jacop.fz.SimpleNode n)
void	bool_clause_imp(org.jacop.fz.SimpleNode n)
void	bool_clause_reif(org.jacop.fz.SimpleNode n)
void	bool_clause(org.jacop.fz.SimpleNode n)
void	bool_eq_imp(org.jacop.fz.SimpleNode n)
void	bool_eq_reif(org.jacop.fz.SimpleNode n)
void	bool_eq(org.jacop.fz.SimpleNode n)
void	bool_ge_imp(org.jacop.fz.SimpleNode n)
void	bool_gt_imp(org.jacop.fz.SimpleNode n)
void	bool_le_imp(org.jacop.fz.SimpleNode n)
void	bool_le_reif(org.jacop.fz.SimpleNode n)
void	bool_le(org.jacop.fz.SimpleNode n)
void	bool_lin_eq_reif(org.jacop.fz.SimpleNode n)
void	bool_lin_eq(org.jacop.fz.SimpleNode n)
void	bool_lin_le_reif(org.jacop.fz.SimpleNode n)
void	bool_lin_le(org.jacop.fz.SimpleNode n)
void	bool_lin_lt_reif(org.jacop.fz.SimpleNode n)
void	bool_lin_lt(org.jacop.fz.SimpleNode n)
void	bool_lin_ne_reif(org.jacop.fz.SimpleNode n)
void	bool_lin_ne(org.jacop.fz.SimpleNode n)
void	bool_lt_imp(org.jacop.fz.SimpleNode n)
void	bool_lt_reif(org.jacop.fz.SimpleNode n)
void	bool_lt(org.jacop.fz.SimpleNode n)
void	bool_ne_imp(org.jacop.fz.SimpleNode n)
void	bool_ne_reif(org.jacop.fz.SimpleNode n)
void	bool_ne(org.jacop.fz.SimpleNode n)
void	bool_not(org.jacop.fz.SimpleNode n)
void	bool_or(org.jacop.fz.SimpleNode n)
void	bool_xor_imp(org.jacop.fz.SimpleNode n)
void	bool_xor(org.jacop.fz.SimpleNode n)
void	bool2int(org.jacop.fz.SimpleNode n)
void	count_eq_imp(org.jacop.fz.SimpleNode n)
void	float_abs(org.jacop.fz.SimpleNode n)
void	float_acos(org.jacop.fz.SimpleNode n)
void	float_asin(org.jacop.fz.SimpleNode n)
void	float_atan(org.jacop.fz.SimpleNode n)
void	float_cos(org.jacop.fz.SimpleNode n)
void	float_div(org.jacop.fz.SimpleNode n)
void	float_eq_reif(org.jacop.fz.SimpleNode n)
void	float_eq(org.jacop.fz.SimpleNode n)
void	float_exp(org.jacop.fz.SimpleNode n)
void	float_le_reif(org.jacop.fz.SimpleNode n)
void	float_le(org.jacop.fz.SimpleNode n)
void	float_lin_eq_reif(org.jacop.fz.SimpleNode n)
void	float_lin_eq(org.jacop.fz.SimpleNode n)
void	float_lin_le_reif(org.jacop.fz.SimpleNode n)
void	float_lin_le(org.jacop.fz.SimpleNode n)
void	float_lin_lt_reif(org.jacop.fz.SimpleNode n)
void	float_lin_lt(org.jacop.fz.SimpleNode n)
void	float_lin_ne_reif(org.jacop.fz.SimpleNode n)
void	float_lin_ne(org.jacop.fz.SimpleNode n)
void	float_ln(org.jacop.fz.SimpleNode n)
void	float_log10(org.jacop.fz.SimpleNode n)
void	float_log2(org.jacop.fz.SimpleNode n)
void	float_lt_reif(org.jacop.fz.SimpleNode n)
void	float_lt(org.jacop.fz.SimpleNode n)
void	float_max(org.jacop.fz.SimpleNode n)
void	float_min(org.jacop.fz.SimpleNode n)
void	float_ne_reif(org.jacop.fz.SimpleNode n)
void	float_ne(org.jacop.fz.SimpleNode n)
void	float_plus(org.jacop.fz.SimpleNode n)
void	float_pow(org.jacop.fz.SimpleNode n)
void	float_sin(org.jacop.fz.SimpleNode n)
void	float_sqrt(org.jacop.fz.SimpleNode n)
void	float_tan(org.jacop.fz.SimpleNode n)
void	float_times(org.jacop.fz.SimpleNode n)
void	int_abs(org.jacop.fz.SimpleNode n)
void	int_div(org.jacop.fz.SimpleNode n)
void	int_eq_imp(org.jacop.fz.SimpleNode n)
void	int_eq_reif(org.jacop.fz.SimpleNode n)
void	int_eq(org.jacop.fz.SimpleNode n)
void	int_ge_imp(org.jacop.fz.SimpleNode n)
void	int_gt_imp(org.jacop.fz.SimpleNode n)
void	int_le_imp(org.jacop.fz.SimpleNode n)
void	int_le_reif(org.jacop.fz.SimpleNode n)
void	int_le(org.jacop.fz.SimpleNode n)
void	int_lin_eq_imp(org.jacop.fz.SimpleNode n)
void	int_lin_eq_reif(org.jacop.fz.SimpleNode n)
void	int_lin_eq(org.jacop.fz.SimpleNode n)
void	int_lin_ge_imp(org.jacop.fz.SimpleNode n)
void	int_lin_gt_imp(org.jacop.fz.SimpleNode n)
void	int_lin_le_imp(org.jacop.fz.SimpleNode n)
void	int_lin_le_reif(org.jacop.fz.SimpleNode n)
void	int_lin_le(org.jacop.fz.SimpleNode n)
void	int_lin_lt_imp(org.jacop.fz.SimpleNode n)
void	int_lin_lt_reif(org.jacop.fz.SimpleNode n)
void	int_lin_lt(org.jacop.fz.SimpleNode n)
void	int_lin_ne_imp(org.jacop.fz.SimpleNode n)
void	int_lin_ne_reif(org.jacop.fz.SimpleNode n)
void	int_lin_ne(org.jacop.fz.SimpleNode n)
void	int_lt_imp(org.jacop.fz.SimpleNode n)
void	int_lt_reif(org.jacop.fz.SimpleNode n)
void	int_lt(org.jacop.fz.SimpleNode n)
void	int_max(org.jacop.fz.SimpleNode n)
void	int_min(org.jacop.fz.SimpleNode n)
void	int_mod(org.jacop.fz.SimpleNode n)
void	int_ne_imp(org.jacop.fz.SimpleNode n)
void	int_ne_reif(org.jacop.fz.SimpleNode n)
void	int_ne(org.jacop.fz.SimpleNode n)
void	int_plus(org.jacop.fz.SimpleNode n)
void	int_pow(org.jacop.fz.SimpleNode n)
void	int_times(org.jacop.fz.SimpleNode n)
void	int2float(org.jacop.fz.SimpleNode n)
void	jacop_alldiff(org.jacop.fz.SimpleNode n)
void	jacop_alldistinct(org.jacop.fz.SimpleNode n)
void	jacop_among_var(org.jacop.fz.SimpleNode n)
void	jacop_among(org.jacop.fz.SimpleNode n)
void	jacop_assignment(org.jacop.fz.SimpleNode n)
void	jacop_atleast_reif(org.jacop.fz.SimpleNode n)
void	jacop_atleast(org.jacop.fz.SimpleNode n)
void	jacop_atmost_reif(org.jacop.fz.SimpleNode n)
void	jacop_atmost(org.jacop.fz.SimpleNode n)
void	jacop_bin_packing(org.jacop.fz.SimpleNode n)
void	jacop_channel(org.jacop.fz.SimpleNode n)
void	jacop_circuit(org.jacop.fz.SimpleNode n)
void	jacop_clique(org.jacop.fz.SimpleNode n)
void	jacop_count_bounds(org.jacop.fz.SimpleNode n)
void	jacop_count_reif(org.jacop.fz.SimpleNode n)
void	jacop_count_values_bounds(org.jacop.fz.SimpleNode n)
void	jacop_count_values(org.jacop.fz.SimpleNode n)
void	jacop_count_var_reif(org.jacop.fz.SimpleNode n)
void	jacop_count_var(org.jacop.fz.SimpleNode n)
void	jacop_count(org.jacop.fz.SimpleNode n)
void	jacop_cumulative(org.jacop.fz.SimpleNode n)
void	jacop_decreasing(org.jacop.fz.SimpleNode n)
void	jacop_diff2_strict(org.jacop.fz.SimpleNode n)
void	jacop_diff2(org.jacop.fz.SimpleNode n)
void	jacop_digraph_match(org.jacop.fz.SimpleNode n)
void	jacop_disjoint(org.jacop.fz.SimpleNode n)
void	jacop_float_maximum(org.jacop.fz.SimpleNode n)
void	jacop_float_minimum(org.jacop.fz.SimpleNode n)
void	jacop_gcc(org.jacop.fz.SimpleNode n)
void	jacop_geost_bb(org.jacop.fz.SimpleNode n)
void	jacop_geost(org.jacop.fz.SimpleNode n)
void	jacop_global_cardinality_closed(org.jacop.fz.SimpleNode n)
void	jacop_global_cardinality_low_up_closed(org.jacop.fz.SimpleNode n)
void	jacop_graph_isomorphism(org.jacop.fz.SimpleNode n)
void	jacop_graph_match(org.jacop.fz.SimpleNode n)
void	jacop_if_then_else_bool(org.jacop.fz.SimpleNode n)
void	jacop_if_then_else_float(org.jacop.fz.SimpleNode n)
void	jacop_if_then_else_int(org.jacop.fz.SimpleNode n)
void	jacop_if_then_else_set(org.jacop.fz.SimpleNode n)
void	jacop_increasing(org.jacop.fz.SimpleNode n)
void	jacop_knapsack(org.jacop.fz.SimpleNode n)
void	jacop_lex_less_bool(org.jacop.fz.SimpleNode n)
void	jacop_lex_less_int(org.jacop.fz.SimpleNode n)
void	jacop_lex_lesseq_bool(org.jacop.fz.SimpleNode n)
void	jacop_lex_lesseq_int(org.jacop.fz.SimpleNode n)
void	jacop_list_diff2(org.jacop.fz.SimpleNode n)
void	jacop_maximum_arg_bool(org.jacop.fz.SimpleNode n)
void	jacop_maximum_arg_int(org.jacop.fz.SimpleNode n)
void	jacop_maximum(org.jacop.fz.SimpleNode n)
void	jacop_member_bool_reif(org.jacop.fz.SimpleNode n)
void	jacop_member_bool(org.jacop.fz.SimpleNode n)
void	jacop_member_int_reif(org.jacop.fz.SimpleNode n)
void	jacop_member_int(org.jacop.fz.SimpleNode n)
void	jacop_minimum_arg_bool(org.jacop.fz.SimpleNode n)
void	jacop_minimum_arg_int(org.jacop.fz.SimpleNode n)
void	jacop_minimum(org.jacop.fz.SimpleNode n)
void	jacop_networkflow(org.jacop.fz.SimpleNode n)
void	jacop_nvalue(org.jacop.fz.SimpleNode n)
void	jacop_regular(org.jacop.fz.SimpleNode n)
void	jacop_sequence(org.jacop.fz.SimpleNode n)
void	jacop_softalldiff(org.jacop.fz.SimpleNode n)
void	jacop_softgcc(org.jacop.fz.SimpleNode n)
void	jacop_stretch(org.jacop.fz.SimpleNode n)
void	jacop_strictly_decreasing(org.jacop.fz.SimpleNode n)
void	jacop_strictly_increasing(org.jacop.fz.SimpleNode n)
void	jacop_sub_digraph_match(org.jacop.fz.SimpleNode n)
void	jacop_sub_graph_match(org.jacop.fz.SimpleNode n)
void	jacop_subcircuit(org.jacop.fz.SimpleNode n)
void	jacop_table_bool(org.jacop.fz.SimpleNode n)
void	jacop_table_int(org.jacop.fz.SimpleNode n)
void	jacop_value_precede_int(org.jacop.fz.SimpleNode n)
void	set_card(org.jacop.fz.SimpleNode n)
void	set_diff(org.jacop.fz.SimpleNode n)
void	set_eq_reif(org.jacop.fz.SimpleNode n)
void	set_eq(org.jacop.fz.SimpleNode n)
void	set_in_imp(org.jacop.fz.SimpleNode n)
void	set_in_reif(org.jacop.fz.SimpleNode n)
void	set_in(org.jacop.fz.SimpleNode n)
void	set_intersect(org.jacop.fz.SimpleNode n)
void	set_le_reif(org.jacop.fz.SimpleNode n)
void	set_le(org.jacop.fz.SimpleNode n)
void	set_lt_reif(org.jacop.fz.SimpleNode n)
void	set_lt(org.jacop.fz.SimpleNode n)
void	set_ne_reif(org.jacop.fz.SimpleNode n)
void	set_ne(org.jacop.fz.SimpleNode n)
void	set_subset_reif(org.jacop.fz.SimpleNode n)
void	set_subset(org.jacop.fz.SimpleNode n)
void	set_symdiff(org.jacop.fz.SimpleNode n)
void	set_union(org.jacop.fz.SimpleNode n)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintFncs

public ConstraintFncs(Support support)

Method Detail

array_bool_and

public void array_bool_and(org.jacop.fz.SimpleNode n)

array_bool_and_imp

public void array_bool_and_imp(org.jacop.fz.SimpleNode n)

array_bool_or

public void array_bool_or(org.jacop.fz.SimpleNode n)

array_bool_or_imp

public void array_bool_or_imp(org.jacop.fz.SimpleNode n)

array_bool_xor

public void array_bool_xor(org.jacop.fz.SimpleNode n)

array_bool_xor_imp

public void array_bool_xor_imp(org.jacop.fz.SimpleNode n)

bool_and

public void bool_and(org.jacop.fz.SimpleNode n)

bool_and_imp

public void bool_and_imp(org.jacop.fz.SimpleNode n)

bool_not

public void bool_not(org.jacop.fz.SimpleNode n)

bool_or

public void bool_or(org.jacop.fz.SimpleNode n)

bool_xor

public void bool_xor(org.jacop.fz.SimpleNode n)

bool_xor_imp

public void bool_xor_imp(org.jacop.fz.SimpleNode n)

bool_clause

public void bool_clause(org.jacop.fz.SimpleNode n)

bool_clause_reif

public void bool_clause_reif(org.jacop.fz.SimpleNode n)

bool_clause_imp

public void bool_clause_imp(org.jacop.fz.SimpleNode n)

bool2int

public void bool2int(org.jacop.fz.SimpleNode n)

bool_eq

public void bool_eq(org.jacop.fz.SimpleNode n)

bool_eq_reif

public void bool_eq_reif(org.jacop.fz.SimpleNode n)

bool_eq_imp

public void bool_eq_imp(org.jacop.fz.SimpleNode n)

bool_ne

public void bool_ne(org.jacop.fz.SimpleNode n)

bool_ne_reif

public void bool_ne_reif(org.jacop.fz.SimpleNode n)

bool_ne_imp

public void bool_ne_imp(org.jacop.fz.SimpleNode n)

bool_le

public void bool_le(org.jacop.fz.SimpleNode n)

bool_le_reif

public void bool_le_reif(org.jacop.fz.SimpleNode n)

bool_le_imp

public void bool_le_imp(org.jacop.fz.SimpleNode n)

bool_lt

public void bool_lt(org.jacop.fz.SimpleNode n)

bool_lt_reif

public void bool_lt_reif(org.jacop.fz.SimpleNode n)

bool_lt_imp

public void bool_lt_imp(org.jacop.fz.SimpleNode n)

bool_gt_imp

public void bool_gt_imp(org.jacop.fz.SimpleNode n)

bool_ge_imp

public void bool_ge_imp(org.jacop.fz.SimpleNode n)

int_eq

public void int_eq(org.jacop.fz.SimpleNode n)

int_eq_reif

public void int_eq_reif(org.jacop.fz.SimpleNode n)

int_eq_imp

public void int_eq_imp(org.jacop.fz.SimpleNode n)

int_ne

public void int_ne(org.jacop.fz.SimpleNode n)

int_ne_reif

public void int_ne_reif(org.jacop.fz.SimpleNode n)

int_ne_imp

public void int_ne_imp(org.jacop.fz.SimpleNode n)

int_le

public void int_le(org.jacop.fz.SimpleNode n)

int_le_reif

public void int_le_reif(org.jacop.fz.SimpleNode n)

int_le_imp

public void int_le_imp(org.jacop.fz.SimpleNode n)

int_lt

public void int_lt(org.jacop.fz.SimpleNode n)

int_lt_reif

public void int_lt_reif(org.jacop.fz.SimpleNode n)

int_lt_imp

public void int_lt_imp(org.jacop.fz.SimpleNode n)

int_gt_imp

public void int_gt_imp(org.jacop.fz.SimpleNode n)

int_ge_imp

public void int_ge_imp(org.jacop.fz.SimpleNode n)

bool_lin_eq

public void bool_lin_eq(org.jacop.fz.SimpleNode n)

bool_lin_eq_reif

public void bool_lin_eq_reif(org.jacop.fz.SimpleNode n)

bool_lin_ne

public void bool_lin_ne(org.jacop.fz.SimpleNode n)

bool_lin_ne_reif

public void bool_lin_ne_reif(org.jacop.fz.SimpleNode n)

bool_lin_lt

public void bool_lin_lt(org.jacop.fz.SimpleNode n)

bool_lin_lt_reif

public void bool_lin_lt_reif(org.jacop.fz.SimpleNode n)

bool_lin_le

public void bool_lin_le(org.jacop.fz.SimpleNode n)

bool_lin_le_reif

public void bool_lin_le_reif(org.jacop.fz.SimpleNode n)

int_lin_eq

public void int_lin_eq(org.jacop.fz.SimpleNode n)

int_lin_eq_reif

public void int_lin_eq_reif(org.jacop.fz.SimpleNode n)

int_lin_eq_imp

public void int_lin_eq_imp(org.jacop.fz.SimpleNode n)

int_lin_ne

public void int_lin_ne(org.jacop.fz.SimpleNode n)

int_lin_ne_reif

public void int_lin_ne_reif(org.jacop.fz.SimpleNode n)

int_lin_ne_imp

public void int_lin_ne_imp(org.jacop.fz.SimpleNode n)

int_lin_lt

public void int_lin_lt(org.jacop.fz.SimpleNode n)

int_lin_lt_reif

public void int_lin_lt_reif(org.jacop.fz.SimpleNode n)

int_lin_lt_imp

public void int_lin_lt_imp(org.jacop.fz.SimpleNode n)

int_lin_le

public void int_lin_le(org.jacop.fz.SimpleNode n)

int_lin_le_reif

public void int_lin_le_reif(org.jacop.fz.SimpleNode n)

int_lin_le_imp

public void int_lin_le_imp(org.jacop.fz.SimpleNode n)

int_lin_gt_imp

public void int_lin_gt_imp(org.jacop.fz.SimpleNode n)

int_lin_ge_imp

public void int_lin_ge_imp(org.jacop.fz.SimpleNode n)

int_min

public void int_min(org.jacop.fz.SimpleNode n)

int_max

public void int_max(org.jacop.fz.SimpleNode n)

int_mod

public void int_mod(org.jacop.fz.SimpleNode n)

int_div

public void int_div(org.jacop.fz.SimpleNode n)

int_abs

public void int_abs(org.jacop.fz.SimpleNode n)

int_times

public void int_times(org.jacop.fz.SimpleNode n)

int_plus

public void int_plus(org.jacop.fz.SimpleNode n)

int_pow

public void int_pow(org.jacop.fz.SimpleNode n)

int2float

public void int2float(org.jacop.fz.SimpleNode n)

array_bool_element

public void array_bool_element(org.jacop.fz.SimpleNode n)

array_var_bool_element

public void array_var_bool_element(org.jacop.fz.SimpleNode n)

array_int_element

public void array_int_element(org.jacop.fz.SimpleNode n)

array_var_int_element

public void array_var_int_element(org.jacop.fz.SimpleNode n)

array_set_element

public void array_set_element(org.jacop.fz.SimpleNode n)

array_var_set_element

public void array_var_set_element(org.jacop.fz.SimpleNode n)

array_float_element

public void array_float_element(org.jacop.fz.SimpleNode n)

array_var_float_element

public void array_var_float_element(org.jacop.fz.SimpleNode n)

jacop_cumulative

public void jacop_cumulative(org.jacop.fz.SimpleNode n)

jacop_circuit

public void jacop_circuit(org.jacop.fz.SimpleNode n)

jacop_subcircuit

public void jacop_subcircuit(org.jacop.fz.SimpleNode n)

jacop_alldiff

public void jacop_alldiff(org.jacop.fz.SimpleNode n)

jacop_softalldiff

public void jacop_softalldiff(org.jacop.fz.SimpleNode n)

jacop_softgcc

public void jacop_softgcc(org.jacop.fz.SimpleNode n)

jacop_alldistinct

public void jacop_alldistinct(org.jacop.fz.SimpleNode n)

jacop_among_var

public void jacop_among_var(org.jacop.fz.SimpleNode n)

jacop_among

public void jacop_among(org.jacop.fz.SimpleNode n)

jacop_gcc

public void jacop_gcc(org.jacop.fz.SimpleNode n)

jacop_global_cardinality_closed

public void jacop_global_cardinality_closed(org.jacop.fz.SimpleNode n)

jacop_global_cardinality_low_up_closed

public void jacop_global_cardinality_low_up_closed(org.jacop.fz.SimpleNode n)

jacop_diff2_strict

public void jacop_diff2_strict(org.jacop.fz.SimpleNode n)

jacop_diff2

public void jacop_diff2(org.jacop.fz.SimpleNode n)

jacop_list_diff2

public void jacop_list_diff2(org.jacop.fz.SimpleNode n)

jacop_count

public void jacop_count(org.jacop.fz.SimpleNode n)

jacop_count_reif

public void jacop_count_reif(org.jacop.fz.SimpleNode n)

jacop_count_var

public void jacop_count_var(org.jacop.fz.SimpleNode n)

jacop_count_var_reif

public void jacop_count_var_reif(org.jacop.fz.SimpleNode n)

jacop_count_values

public void jacop_count_values(org.jacop.fz.SimpleNode n)

jacop_count_values_bounds

public void jacop_count_values_bounds(org.jacop.fz.SimpleNode n)

count_eq_imp

public void count_eq_imp(org.jacop.fz.SimpleNode n)

jacop_count_bounds

public void jacop_count_bounds(org.jacop.fz.SimpleNode n)

jacop_atleast

public void jacop_atleast(org.jacop.fz.SimpleNode n)

jacop_atleast_reif

public void jacop_atleast_reif(org.jacop.fz.SimpleNode n)

jacop_atmost

public void jacop_atmost(org.jacop.fz.SimpleNode n)

jacop_atmost_reif

public void jacop_atmost_reif(org.jacop.fz.SimpleNode n)

jacop_nvalue

public void jacop_nvalue(org.jacop.fz.SimpleNode n)

jacop_minimum_arg_int

public void jacop_minimum_arg_int(org.jacop.fz.SimpleNode n)

jacop_minimum_arg_bool

public void jacop_minimum_arg_bool(org.jacop.fz.SimpleNode n)

jacop_minimum

public void jacop_minimum(org.jacop.fz.SimpleNode n)

jacop_maximum_arg_int

public void jacop_maximum_arg_int(org.jacop.fz.SimpleNode n)

jacop_maximum_arg_bool

public void jacop_maximum_arg_bool(org.jacop.fz.SimpleNode n)

jacop_maximum

public void jacop_maximum(org.jacop.fz.SimpleNode n)

jacop_member_int

public void jacop_member_int(org.jacop.fz.SimpleNode n)

jacop_member_int_reif

public void jacop_member_int_reif(org.jacop.fz.SimpleNode n)

jacop_member_bool

public void jacop_member_bool(org.jacop.fz.SimpleNode n)

jacop_member_bool_reif

public void jacop_member_bool_reif(org.jacop.fz.SimpleNode n)

jacop_table_int

public void jacop_table_int(org.jacop.fz.SimpleNode n)

jacop_table_bool

public void jacop_table_bool(org.jacop.fz.SimpleNode n)

jacop_assignment

public void jacop_assignment(org.jacop.fz.SimpleNode n)

jacop_regular

public void jacop_regular(org.jacop.fz.SimpleNode n)

jacop_knapsack

public void jacop_knapsack(org.jacop.fz.SimpleNode n)

jacop_sequence

public void jacop_sequence(org.jacop.fz.SimpleNode n)

jacop_stretch

public void jacop_stretch(org.jacop.fz.SimpleNode n)

jacop_disjoint

public void jacop_disjoint(org.jacop.fz.SimpleNode n)

jacop_networkflow

public void jacop_networkflow(org.jacop.fz.SimpleNode n)

jacop_lex_less_int

public void jacop_lex_less_int(org.jacop.fz.SimpleNode n)

jacop_lex_less_bool

public void jacop_lex_less_bool(org.jacop.fz.SimpleNode n)

jacop_lex_lesseq_int

public void jacop_lex_lesseq_int(org.jacop.fz.SimpleNode n)

jacop_lex_lesseq_bool

public void jacop_lex_lesseq_bool(org.jacop.fz.SimpleNode n)

jacop_increasing

public void jacop_increasing(org.jacop.fz.SimpleNode n)

jacop_decreasing

public void jacop_decreasing(org.jacop.fz.SimpleNode n)

jacop_strictly_increasing

public void jacop_strictly_increasing(org.jacop.fz.SimpleNode n)

jacop_strictly_decreasing

public void jacop_strictly_decreasing(org.jacop.fz.SimpleNode n)

jacop_value_precede_int

public void jacop_value_precede_int(org.jacop.fz.SimpleNode n)

jacop_bin_packing

public void jacop_bin_packing(org.jacop.fz.SimpleNode n)

jacop_float_maximum

public void jacop_float_maximum(org.jacop.fz.SimpleNode n)

jacop_float_minimum

public void jacop_float_minimum(org.jacop.fz.SimpleNode n)

jacop_geost

public void jacop_geost(org.jacop.fz.SimpleNode n)

jacop_geost_bb

public void jacop_geost_bb(org.jacop.fz.SimpleNode n)

jacop_if_then_else_int

public void jacop_if_then_else_int(org.jacop.fz.SimpleNode n)

jacop_if_then_else_bool

public void jacop_if_then_else_bool(org.jacop.fz.SimpleNode n)

jacop_if_then_else_float

public void jacop_if_then_else_float(org.jacop.fz.SimpleNode n)

jacop_if_then_else_set

public void jacop_if_then_else_set(org.jacop.fz.SimpleNode n)

jacop_channel

public void jacop_channel(org.jacop.fz.SimpleNode n)

set_card

public void set_card(org.jacop.fz.SimpleNode n)

set_diff

public void set_diff(org.jacop.fz.SimpleNode n)

set_eq

public void set_eq(org.jacop.fz.SimpleNode n)

set_eq_reif

public void set_eq_reif(org.jacop.fz.SimpleNode n)

set_in

public void set_in(org.jacop.fz.SimpleNode n)

set_in_reif

public void set_in_reif(org.jacop.fz.SimpleNode n)

set_in_imp

public void set_in_imp(org.jacop.fz.SimpleNode n)

set_intersect

public void set_intersect(org.jacop.fz.SimpleNode n)

set_le

public void set_le(org.jacop.fz.SimpleNode n)

set_le_reif

public void set_le_reif(org.jacop.fz.SimpleNode n)

set_lt

public void set_lt(org.jacop.fz.SimpleNode n)

set_lt_reif

public void set_lt_reif(org.jacop.fz.SimpleNode n)

set_ne

public void set_ne(org.jacop.fz.SimpleNode n)

set_ne_reif

public void set_ne_reif(org.jacop.fz.SimpleNode n)

set_subset

public void set_subset(org.jacop.fz.SimpleNode n)

set_subset_reif

public void set_subset_reif(org.jacop.fz.SimpleNode n)

set_symdiff

public void set_symdiff(org.jacop.fz.SimpleNode n)

set_union

public void set_union(org.jacop.fz.SimpleNode n)

float_eq

public void float_eq(org.jacop.fz.SimpleNode n)

float_eq_reif

public void float_eq_reif(org.jacop.fz.SimpleNode n)

float_ne

public void float_ne(org.jacop.fz.SimpleNode n)

float_ne_reif

public void float_ne_reif(org.jacop.fz.SimpleNode n)

float_le

public void float_le(org.jacop.fz.SimpleNode n)

float_le_reif

public void float_le_reif(org.jacop.fz.SimpleNode n)

float_lt

public void float_lt(org.jacop.fz.SimpleNode n)

float_lt_reif

public void float_lt_reif(org.jacop.fz.SimpleNode n)

float_lin_eq

public void float_lin_eq(org.jacop.fz.SimpleNode n)

float_lin_eq_reif

public void float_lin_eq_reif(org.jacop.fz.SimpleNode n)

float_lin_le

public void float_lin_le(org.jacop.fz.SimpleNode n)

float_lin_le_reif

public void float_lin_le_reif(org.jacop.fz.SimpleNode n)

float_lin_lt

public void float_lin_lt(org.jacop.fz.SimpleNode n)

float_lin_lt_reif

public void float_lin_lt_reif(org.jacop.fz.SimpleNode n)

float_lin_ne

public void float_lin_ne(org.jacop.fz.SimpleNode n)

float_lin_ne_reif

public void float_lin_ne_reif(org.jacop.fz.SimpleNode n)

float_abs

public void float_abs(org.jacop.fz.SimpleNode n)

float_acos

public void float_acos(org.jacop.fz.SimpleNode n)

float_asin

public void float_asin(org.jacop.fz.SimpleNode n)

float_atan

public void float_atan(org.jacop.fz.SimpleNode n)

float_cos

public void float_cos(org.jacop.fz.SimpleNode n)

float_exp

public void float_exp(org.jacop.fz.SimpleNode n)

float_ln

public void float_ln(org.jacop.fz.SimpleNode n)

float_log10

public void float_log10(org.jacop.fz.SimpleNode n)

float_log2

public void float_log2(org.jacop.fz.SimpleNode n)

float_sqrt

public void float_sqrt(org.jacop.fz.SimpleNode n)

float_sin

public void float_sin(org.jacop.fz.SimpleNode n)

float_tan

public void float_tan(org.jacop.fz.SimpleNode n)

float_max

public void float_max(org.jacop.fz.SimpleNode n)

float_min

public void float_min(org.jacop.fz.SimpleNode n)

float_plus

public void float_plus(org.jacop.fz.SimpleNode n)

float_times

public void float_times(org.jacop.fz.SimpleNode n)

float_div

public void float_div(org.jacop.fz.SimpleNode n)

float_pow

public void float_pow(org.jacop.fz.SimpleNode n)

jacop_graph_match

public void jacop_graph_match(org.jacop.fz.SimpleNode n)

jacop_digraph_match

public void jacop_digraph_match(org.jacop.fz.SimpleNode n)

jacop_sub_graph_match

public void jacop_sub_graph_match(org.jacop.fz.SimpleNode n)

jacop_sub_digraph_match

public void jacop_sub_digraph_match(org.jacop.fz.SimpleNode n)

jacop_clique

public void jacop_clique(org.jacop.fz.SimpleNode n)

jacop_graph_isomorphism

public void jacop_graph_isomorphism(org.jacop.fz.SimpleNode n)