<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<META http-equiv="Content-Type" content="text/html; charset=ANSI_X3.4-1968">
<META name="GENERATOR" content="hevea 1.07">
<TITLE>
Modules
</TITLE>
</HEAD>
<BODY >
<A HREF="manual006.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="manual008.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>
<H1><A NAME="htoc40">Chapter 4</A> Modules</H1>
The following sections are extracted from <TT>.mli</TT> module interfaces of FaCiLe and sorted by alphabetic order.
A comprehensive index of these sections can be found at the end of this document.
<UL><LI>
<A HREF="libref/Alldiff.html">Alldiff</A>
<LI><A HREF="libref/Arith.html">Arith</A>
<LI><A HREF="libref/Conjunto.html">Conjunto</A>
<LI><A HREF="libref/Cstr.html">Cstr</A>
<LI><A HREF="libref/Data.html">Data</A>
<LI><A HREF="libref/Domain.html">Domain</A>
<LI><A HREF="libref/FdArray.html">FdArray</A>
<LI><A HREF="libref/Gcc.html">Gcc</A>
<LI><A HREF="libref/Goals.html">Goals</A>
<LI><A HREF="libref/Interval.html">Interval</A>
<LI><A HREF="libref/Invariant.html">Invariant</A>
<LI><A HREF="libref/Reify.html">Reify</A>
<LI><A HREF="libref/SetDomain.html">SetDomain</A>
<LI><A HREF="libref/Sorting.html">Sorting</A>
<LI><A HREF="libref/Stak.html">Stak</A>
<LI><A HREF="libref/Var.html">Var</A>
</UL>
<A NAME="toc21"></A>
<H2><A NAME="htoc41">4.1</A> Module <TT>Easy</TT></H2>
<A NAME="module_Easy"></A>
<A NAME="@default249"></A>
<TT>Easy</TT> is a module that the user is strongly advised to open in order to
facilitate access to FaCiLe (unless names clash with other open modules).
It simply defines aliases to values and types of other modules:
<UL><LI>
All the infix operators from <TT>Arith</TT>, <TT>Goals</TT> and <TT>Reify</TT>
<LI>Frequently used mapping functions of <TT>Arith</TT>: <TT>i2e</TT> and <TT>fd2e</TT>
<LI>Type of finite domain variables from <TT>Var</TT>:
<TT>concrete_fd = Unk of Fd.attr | Val of Fd.elt</TT>
<LI>Module <TT>Fd</TT> from <TT>Var</TT>
</UL>
Note that the user of FaCiLe can extend this mechanism with its own
``<TT>Easier</TT>'' module aliasing any value or type of the library.<BR>
<BR>
<HR>
<A HREF="manual006.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="manual008.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
