#ifndef BDD_ENTRY_H
#define BDD_ENTRY_H

/* Entry points for the bdd command */
extern int cmd_bdd(char **);
extern void help_cmd_bdd(unsigned int);

#endif /* BDD_ENTRY_H */