FINITE_DOMAIN_SORT constant

int const FINITE_DOMAIN_SORT

Implementation

static const int FINITE_DOMAIN_SORT = 8;