D.14.2.14 from_boolean_set
Procedure from library
polybori.lib
(see
polybori_lib
).
Usage:
from_boolean_set(sb); sb boolean set
Return:
Boolean set sb in the representation of a zdd
Example:
See also:
boolean_ideal
;
boolean_std
.
User manual for
Singular
version 3-1-6, Dec 2012, generated by
texi2html
.