[ 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
- Author: Joachim Schimpf
- Copyright © Joachim Schimpf, Coninfer Ltd
- Date: $Date: 2017/09/28 22:43:43 $
Generated from ic_mdd.eci on 2022-09-03 14:26