
/* variables definies en extern */
extern short index_bdd;
extern short no_hz ;
extern short no_conf;
extern short fausse_b;
extern short passe;
extern short profondeur;
extern long  MaxNoeud ;
extern FILE * res;
extern befig_list * VHB_HEDFIG;       /* tete de la liste des figure befig  */
extern befig_list * CURRENT_BEFIG;    /* Figure <=> cone a probleme         */
extern chain_list * TYPED_CONE ;      /* Liste des cone visites par PropStep*/
extern chain_list * TYPED_CONNECT ;   /* Idem mais pour les connecteurs     */
extern chain_list * FCF_CONE_LIST;    /* parcour de foconf en cones         */
extern short        FCF_X_CONTR  ;    /* Il existe des contrainte           */
extern short        PROF_MAX;         /* profondeur max de propstep         */
extern chain_list * FCF_PRIM_INDEX  ;   /* chaine des index descones primaire */
extern short FCF_BDD_ORDER ;

extern pCircuit badnode ;
extern char FCF_LANG ;
extern int  FCF_MAX_NODE ;
