Searched refs:RELAXED_DOMAIN (Results 1 – 3 of 3) sorted by relevance
171 bool relaxed = ( domain_spec == RELAXED_DOMAIN || // level 1 domain in get_view()173 method_domain(problem_db) == RELAXED_DOMAIN ) ); in get_view()264 RELAXED_DOMAIN : MIXED_DOMAIN; in method_domain()
27 enum { DEFAULT_DOMAIN=0, RELAXED_DOMAIN, MIXED_DOMAIN }; enumerator
7899 Vtype(varsDomain,RELAXED_DOMAIN),