Home
last modified time | relevance | path

Searched refs:bound_invalid (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/sep/
H A Dtheory_sep.h246 bound_invalid, enumerator
H A Dtheory_sep.cpp913 if( d_bound_kind[tn1]!=bound_strict && d_bound_kind[tn1]!=bound_invalid ){ in processAssertion()
918 d_bound_kind[tn1] = bound_invalid; in processAssertion()
1089 d_bound_kind[tn] = bound_invalid; in initializeBounds()
1094 if( d_bound_kind[tn] != bound_invalid ){ in initializeBounds()
1167 if( d_bound_kind[tn]!=bound_invalid ){ in getBaseLabel()