Les expressions booléennes (langage source)
Fonction qui évalue les expressions booléennes (sémantique)
Les expressions conditionnelles (langage objet)
Fonction qui évalue les expressions conditionelles (sémantique)
Fonction qui transforme les bExp en iExp (compilation)
Normal Form pour expressions conditionnelles
Fonction qui s'occupe des conditionnelles
Fonction qui normalise (optimisation)