[ 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 2020-02-26 22:26