Lines Matching defs:used
106 finite domain which later on can be used for finite state machine
108 allocates $\log_2(|dom[i]|)$ BDD variables to be used later.
309 DESCR {* Returns the number of BDD variables used for the finite domain
330 DESCR {* Returns an integer array containing the BDD variables used to
332 is the number of variables used to define the finite domain block.
517 DESCR {* Returns the variable set that contains the variables used to
654 DESCR {* A printing callback handler for use with FDDs is used to
693 {\tt fdd\_strm\_hook} which can be used to print the FDD
736 int used = 0;
752 used = 0;
756 used = 1;
758 if (used)
884 DESCR {* Returns a BDD defining all the variable sets used to define