[ Third Party Libraries | Reference Manual | Alphabetic Index ]

library(fzn_ic)

Mapping from FlatZinc to lib(ic) and lib(ic_sets)

Predicates

all_different(?)
No description available
all_disjoint(?)
No description available
array_bool_and(?, ?)
No description available
array_bool_element(?, ?, ?)
No description available
array_bool_or(?, ?)
No description available
array_float_element(?, ?, ?)
No description available
array_int_element(?, ?, ?)
No description available
array_var_bool_element(?, ?, ?)
No description available
array_var_float_element(?, ?, ?)
No description available
array_var_int_element(?, ?, ?)
No description available
at_least(?, ?, ?)
No description available
at_most(?, ?, ?)
No description available
bool2int(?, ?)
No description available
bool_and(?, ?, ?)
No description available
bool_declare(?)
No description available
bool_declare_array(?)
No description available
bool_eq(?, ?)
No description available
bool_eq_reif(?, ?, ?)
No description available
bool_fzn_to_solver(?, ?)
No description available
bool_ge(?, ?)
No description available
bool_ge_reif(?, ?, ?)
No description available
bool_gt(?, ?)
No description available
bool_gt_reif(?, ?, ?)
No description available
bool_le(?, ?)
No description available
bool_le_reif(?, ?, ?)
No description available
bool_left_imp(?, ?, ?)
No description available
bool_lt(?, ?)
No description available
bool_lt_reif(?, ?, ?)
No description available
bool_ne(?, ?)
No description available
bool_ne_reif(?, ?, ?)
No description available
bool_not(?, ?)
No description available
bool_or(?, ?, ?)
No description available
bool_right_imp(?, ?, ?)
No description available
bool_solver_to_fzn(?, ?)
No description available
bool_xor(?, ?, ?)
No description available
count(?, ?, ?)
No description available
exactly(?, ?, ?)
No description available
float_abs(?, ?)
No description available
float_declare(?)
No description available
float_declare(?, ?, ?)
No description available
float_declare_array(?)
No description available
float_declare_array(?, ?, ?)
No description available
float_div(?, ?, ?)
No description available
float_eq(?, ?)
No description available
float_eq_reif(?, ?, ?)
No description available
float_fzn_to_solver(?, ?)
No description available
float_ge(?, ?)
No description available
float_ge_reif(?, ?, ?)
No description available
float_gt(?, ?)
No description available
float_gt_reif(?, ?, ?)
No description available
float_le(?, ?)
No description available
float_le_reif(?, ?, ?)
No description available
float_lin_eq(?, ?, ?)
No description available
float_lin_eq_reif(?, ?, ?, ?)
No description available
float_lin_ge(?, ?, ?)
No description available
float_lin_ge_reif(?, ?, ?, ?)
No description available
float_lin_gt(?, ?, ?)
No description available
float_lin_gt_reif(?, ?, ?, ?)
No description available
float_lin_le(?, ?, ?)
No description available
float_lin_le_reif(?, ?, ?, ?)
No description available
float_lin_lt(?, ?, ?)
No description available
float_lin_lt_reif(?, ?, ?, ?)
No description available
float_lin_ne(?, ?, ?)
No description available
float_lin_ne_reif(?, ?, ?, ?)
No description available
float_lt(?, ?)
No description available
float_lt_reif(?, ?, ?)
No description available
float_max(?, ?, ?)
No description available
float_min(?, ?, ?)
No description available
float_minus(?, ?, ?)
No description available
float_ne(?, ?)
No description available
float_ne_reif(?, ?, ?)
No description available
float_negate(?, ?)
No description available
float_plus(?, ?, ?)
No description available
float_solver_to_fzn(?, ?)
No description available
float_times(?, ?, ?)
No description available
int2float(?, ?)
No description available
int_abs(?, ?)
No description available
int_declare(?)
No description available
int_declare(?, ?)
No description available
int_declare(?, ?, ?)
No description available
int_declare_array(?)
No description available
int_declare_array(?, ?)
No description available
int_declare_array(?, ?, ?)
No description available
int_div(?, ?, ?)
No description available
int_eq(?, ?)
No description available
int_eq_reif(?, ?, ?)
No description available
int_ge(?, ?)
No description available
int_ge_reif(?, ?, ?)
No description available
int_gt(?, ?)
No description available
int_gt_reif(?, ?, ?)
No description available
int_le(?, ?)
No description available
int_le_reif(?, ?, ?)
No description available
int_lin_eq(?, ?, ?)
No description available
int_lin_eq_reif(?, ?, ?, ?)
No description available
int_lin_ge(?, ?, ?)
No description available
int_lin_ge_reif(?, ?, ?, ?)
No description available
int_lin_gt(?, ?, ?)
No description available
int_lin_gt_reif(?, ?, ?, ?)
No description available
int_lin_le(?, ?, ?)
No description available
int_lin_le_reif(?, ?, ?, ?)
No description available
int_lin_lt(?, ?, ?)
No description available
int_lin_lt_reif(?, ?, ?, ?)
No description available
int_lin_ne(?, ?, ?)
No description available
int_lin_ne_reif(?, ?, ?, ?)
No description available
int_lt(?, ?)
No description available
int_lt_reif(?, ?, ?)
No description available
int_max(?, ?, ?)
No description available
int_min(?, ?, ?)
No description available
int_minus(?, ?, ?)
No description available
int_mod(?, ?, ?)
No description available
int_ne(?, ?)
No description available
int_ne_reif(?, ?, ?)
No description available
int_negate(?, ?)
No description available
int_plus(?, ?, ?)
No description available
int_times(?, ?, ?)
No description available
link_set_to_booleans(?, ?)
No description available
maximize(?, ?, ?)
No description available
maximum(?, ?)
No description available
minimize(?, ?, ?)
No description available
minimum(?, ?)
No description available
range_fzn_to_solver(?, ?, ?)
No description available
satisfy(?)
No description available
set_card(?, ?)
No description available
set_declare(?, ?)
No description available
set_declare(?, ?, ?)
No description available
set_declare_array(?, ?)
No description available
set_declare_array(?, ?, ?)
No description available
set_diff(?, ?, ?)
No description available
set_eq(?, ?)
No description available
set_fzn_to_solver(?, ?)
No description available
set_in(?, ?)
No description available
set_in_reif(?, ?, ?)
No description available
set_intersect(?, ?, ?)
No description available
set_solver_to_fzn(?, ?)
No description available
set_subset(?, ?)
No description available
set_symdiff(?, ?, ?)
No description available
set_union(?, ?, ?)
No description available
sort(?, ?)
No description available

Reexports

reexport cumulative / 4 from ic_edge_finder
reexport disjoint / 2 from fd_sets

Description

This module defines a mapping from FlatZinc operations to lib(ic), lib(ic_sets) and lib(ic_global), and is intended to be used in conjunction with lib(flatzinc). It uses lib(propia) to implement variants of the element constraint that are not supported by lib(ic). Moreover, lib(branch_and_bound) is used to provide optimization.

This mapping supports bool, integer, float and set variables. It does currently not support all constraints in reified form, in particular set constraints, according to the limitations of the underlying solvers.

About

See Also

library(flatzinc), library(ic), library(ic_sets), library(ic_global), library(propia), library(branch_and_bound)
Generated from fzn_ic.eci on Mon Mar 31 03:17:13 2008