00001 #ifndef BDD_H 00002 #define BDD_H 00003 00004 /* Prototypes for the bdd command, excluding entry points */ 00005 00006 00007 #endif /* BDD_H */ 00008