// FILE. . . . . d:/hak/hlt/src/hlt/fot/fuz/syntax/sources/FuzzyFOTLattice.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Sun Jul 15 08:07:20 2018

/**
 * @version     Last modified on Wed Mar 27 09:41:26 2019 by hak
 * @author      <a href="mailto:hak@acm.org?subject=FFF">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; <a href="http://www.hassan-ait-kaci.net/">by the author</a> 
 */
 
/**
 * This file (<tt>FuzzyFOTLattice.grm</tt>) is the root file of a <a
 * href="http://www.hassan-ait-kaci.net/hlt/doc/hlt/jaccdoc/usingJacc.html"
 * target="_blank"><b><tt>Jacc</tt></b></a> grammar specification of an
 * elementary interactive language called <b><tt>FFF</tt></b> meant as
 * <b><tt>F</tt></b>uzzy <b><tt>F</tt></b>acility for
 * <b><tt>F</tt></b>irst-order terms. It is a simple tool that
 * facilitates specifying a similarity (<i>i.e.</i>, a fuzzy equivalence
 * relation) on functors of a signature of first-order terms and
 * evaluating fuzzy lattice operations on such terms modulo such a
 * functor similarity.
 */

/**
 * <small>[<b>N.B.</b>: to see all the Jacc and Java source files of
 * this <b><tt>FFF</tt></b> grammar, including the generated
 * <b><tt>FFF</tt></b> parser files, <a href="index.html"><b>click
 * here</b></a>]</small>
 *
 */

/**
 * <b><tt>FFF</tt> grammar's description: <tt><a
 * href="fff-description.html">fff-description.grm</a></tt></b>
 */
%include "fff-description.grm"

/**
 * <b><tt>FFF</tt> grammar's declarations: <tt><a
 * href="fff-declarations.html">fff-declarations.grm</a></tt></b>
 */
%include "fff-declarations.grm"

/**
 * <b><tt>FFF</tt> grammar's Java code for the parser: <tt><a
 * href="fff-parser-javacode.html">fff-parser-javacode.grm</a></tt></b>
 */
%include "fff-parser-javacode.grm"

/**
 * <b><tt>FFF</tt> grammar rules: <tt><a
 * href="fff-grammar-rules.html">fff-grammar-rules.grm</a></tt></b>
 */
%include "fff-grammar-rules.grm"

/**
 * <b><tt>FFF</tt> grammar's ancillary Java classes: <tt><a
 * href="fff-ancillary-classes.html">fff-ancillary-classes.grm</a></tt></b>
 */
%include "fff-ancillary-classes.grm"

/**
 * End of <b><tt>FFF</tt></b> grammar
 */

/* ******************************************************************** */
