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



Copyright:  © by the author
Author:  Hassan Aït-Kaci
Version:  Last modified on Thu Sep 27 09:27:33 2018 by hak


 


FFF Grammar Root File





[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