
/****************************************************************************/
/*                                                                          */
/*                      Chaine de CAO & VLSI   Alliance                     */
/*                                                                          */
/*    Produit : synthetiseur logique                                        */
/*    Fichier : moteur.h                                                    */
/*                                                                          */
/*    (c) copyright 1991 Laboratoire MASI equipe CAO & VLSI                 */
/*    Tous droits reserves                                                  */
/*    Support : e-mail cao-vlsi@masi.ibp.fr                                 */
/*                                                                          */
/*    Auteur(s) :     P. Allegre                        le : 05/08/91       */
/*                                                                          */
/*    Modifie par :                                     le : ../../....     */
/*    Modifie par :                                     le : ../../....     */
/*    Modifie par :                                     le : ../../....     */
/*                                                                          */
/****************************************************************************/

void ssExprArite();	/* decomposition d'arite sous expressions */
chain_list *decArite(); /* decomposition d'arite declencheur */
chain_list *backTrack();/* retour arriere sur une conclusion */
short filtre();		/* filtrage d'une premisse et d'une expression */
chain_list *moteur();	/* moteur d'inference */
int permutOp();		/* normalisation */
chain_list *remplace();	/* variables de conclusion remplacees par leur valeur */
short verifExpr();
