|
FuzzyFOTLattice.grm
|
// 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
|
|
|
| [N.B.: to see all the Jacc and Java source files of this FFF grammar, including the generated FFF parser files, click here] |
| The file FuzzyFOTLattice.grm is the root file of a Jacc grammar specification of an elementary interactive language called FFF meant as Fuzzy Facility for First-order terms. It is a simple tool that facilitates specifying a similarity (i.e., 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. |
%include "fff-description.grm" %include "fff-declarations.grm" %include "fff-parser-javacode.grm" %include "fff-grammar-rules.grm" %include "fff-ancillary-classes.grm" /* ************************************************************************ */
This file was generated on Thu Sep 27 10:27:39 CEST 2018 from file FuzzyFOTLattice.grm
by the hlt.language.tools.Hilite Java tool written by Hassan Aït-Kaci