Finite Domains: fd

Field

Mutable

Type

Explanation

variables

no

Int

Number of finite domain variables created.

propagators

no

Int

Number of finite domain propagators created.

invoked

no

Int

Number of finite domain propagators invoked.

threshold

yes

Int

Integer when internal domain representation switches from bit sets to interval lists.


Denys Duchier, Leif Kornstaedt, Martin Homik, Tobias Müller, Christian Schulte and Peter Van Roy
Version 1.4.0 (20080702)