00001 #ifndef BDD_ENTRY_H 00002 #define BDD_ENTRY_H 00003 00004 /* Entry points for the bdd command */ 00005 extern int cmd_bdd(char **); 00006 extern void help_cmd_bdd(unsigned int); 00007 00008 #endif /* BDD_ENTRY_H */ 00009