[ Third Party Libraries | Reference Manual | Alphabetic Index ]

# library(fzn_eplex)

Mapping from FlatZinc to lib(eplex)

## Predicates

> bool2int(?, ?)
>   No description available
> bool_declare(?)
>   No description available
> bool_declare_array(?)
>   No description available
> bool_eq(?, ?)
>   No description available
> bool_fzn_to_solver(?, ?)
>   No description available
> bool_ge(?, ?)
>   No description available
> bool_le(?, ?)
>   No description available
> bool_solver_to_fzn(?, ?)
>   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_eq(?, ?)
>   No description available
> float_fzn_to_solver(?, ?)
>   No description available
> float_ge(?, ?)
>   No description available
> float_le(?, ?)
>   No description available
> float_lin_eq(?, ?, ?)
>   No description available
> float_lin_ge(?, ?, ?)
>   No description available
> float_lin_le(?, ?, ?)
>   No description available
> float_minus(?, ?, ?)
>   No description available
> float_negate(?, ?)
>   No description available
> float_plus(?, ?, ?)
>   No description available
> float_solver_to_fzn(?, ?)
>   No description available
> int2float(?, ?)
>   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_eq(?, ?)
>   No description available
> int_ge(?, ?)
>   No description available
> int_le(?, ?)
>   No description available
> int_lin_eq(?, ?, ?)
>   No description available
> int_lin_ge(?, ?, ?)
>   No description available
> int_lin_le(?, ?, ?)
>   No description available
> int_minus(?, ?, ?)
>   No description available
> int_negate(?, ?)
>   No description available
> int_plus(?, ?, ?)
>   No description available
> maximize(?, ?, ?)
>   No description available
> minimize(?, ?, ?)
>   No description available
> range_fzn_to_solver(?, ?, ?)
>   No description available
> satisfy(?)
>   No description available
> set_fzn_to_solver(?, ?)
>   No description available
> set_solver_to_fzn(?, ?)
>   No description available

## Description

This module defines a mapping from FlatZinc operations to lib(eplex) and is intended to be used in conjunction with lib(flatzinc).

TODO: Add a mapping for sets as array of booleans. Add an appropriate globals.mzn.

## About

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

## See Also

library(flatzinc), library(eplex)

Generated from fzn_eplex.eci on Sat Nov 8 07:00:03 2008