[ Reference Manual | Alphabetic Index ]

library(ic_mdd)

Extensional constraints over IC variables

Predicates

mddc(?Tuple, ++MDD)
The variables in Tuple only take values allowed by the given multi-valued decision diagram MDD
table(+Tuples, ++Table)
Constrain all tuples to take values from the table rows

About


Generated from ic_mdd.eci on 2022-09-03 14:26