#include "bdd.h"Go to the source code of this file.
Functions | |
| int | fdd_extdomain (int *, int) |
| Adds another set of finite domain blocks. | |
| int | fdd_overlapdomain (int, int) |
| Combine two fdd blocks into one. | |
| void | fdd_clearall (void) |
| Clear all allocated fdd blocks. | |
| int | fdd_domainnum (void) |
| Number of defined finite domain blocks. | |
| int | fdd_domainsize (int) |
| Real size of a finite domain block. | |
| int | fdd_varnum (int) |
| Binary size of a finite domain block. | |
| int * | fdd_vars (int) |
| All bdd variables associated with a finite domain block. | |
| BDD | fdd_ithvar (int, int) |
| The bdd for the i'th fdd set to a specific value. | |
| int | fdd_scanvar (BDD, int) |
| Finds one satisfying value of a fdd variable. | |
| int * | fdd_scanallvar (BDD) |
| Finds one satisfying value of all fdd variables. | |
| BDD | fdd_ithset (int) |
| The variable set for the i'th finite domain block. | |
| BDD | fdd_domain (int) |
| Bdd encoding of the domain of a fdd variable. | |
| BDD | fdd_equals (int, int) |
| Returns a bdd setting two fd. | |
| bddfilehandler | fdd_file_hook (bddfilehandler) |
| Specifies a printing callback handler. | |
| void | fdd_printset (BDD) |
Prints a bdd for a finite domain block to stdout. | |
| void | fdd_fprintset (FILE *, BDD) |
| Prints a bdd for a finite domain block to a file. | |
| int | fdd_scanset (BDD, int **, int *) |
| Scans a variable set. | |
| BDD | fdd_makeset (int *, int) |
| Creates a variable set for n finite domain blocks. | |
| int | fdd_intaddvarblock (int, int, int) |
| Adds a new variable block for reordering. | |
| int | fdd_setpair (bddPair *, int, int) |
| Defines a pair for two finite domain blocks. | |
| int | fdd_setpairs (bddPair *, int *, int *, int) |
| Defines n pairs for finite domain blocks. | |
Definition in file fdd.h.
1.5.1