[ Third Party Libraries | Reference Manual | Alphabetic Index ]

# library(fzn_fd)

Mapping from FlatZinc to lib(fd) and lib(fd_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_int_element(?, ?, ?)
>   No description available
> array_var_bool_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_solver_to_fzn(?, ?)
>   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
> minimize(?, ?, ?)
>   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 edge_finder
> reexport disjoint / 2 from fd_sets

## Description

This module defines a mapping from FlatZinc operations to lib(fd), lib(fd_sets) and lib(fd_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(fd). Moreover, lib(branch_and_bound) is used to provide optimization.

This mapping supports bool, integer 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

- Author: Joachim Schimpf, supported by Cisco Systems and NICTA Victoria
- Copyright © Cisco Systems Inc, licensed under CMPL
- Date: $Date: 2008/06/20 17:21:23 $

## See Also

library(flatzinc), library(fd), library(fd_sets), library(fd_global), library(propia), library(branch_and_bound)

Generated from fzn_fd.eci on Sat Nov 8 06:59:50 2008