Searched defs:MaxDisjunctsInDomain (Results 1 – 9 of 9) sorted by relevance
114 int const polly::MaxDisjunctsInDomain = 20; member in polly
115 int const polly::MaxDisjunctsInDomain = 20; member in polly