[ 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

See Also

library(flatzinc), library(eplex)
Generated from fzn_eplex.eci on Mon Mar 31 03:17:25 2008