Searched refs:bound_strict (Results 1 – 2 of 2) sorted by relevance
243 bound_strict, enumerator
913 if( d_bound_kind[tn1]!=bound_strict && d_bound_kind[tn1]!=bound_invalid ){ in processAssertion()997 if( bt!=bound_strict ){ in processAssertion()998 d_bound_kind[tn] = bound_strict; in processAssertion()1006 add = bt!=bound_strict; in processAssertion()