[ Reference Manual | Alphabetic Index ]

library(fd_mdd)

Extensional constraints over FD 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 fd_mdd.eci on 2017-10-25 11:22