|
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.
|
