Searched refs:d_bound_kind (Results 1 – 2 of 2) sorted by relevance
913 if( d_bound_kind[tn1]!=bound_strict && d_bound_kind[tn1]!=bound_invalid ){ in processAssertion()916 d_bound_kind[tn1] = bound_herbrand; in processAssertion()918 d_bound_kind[tn1] = bound_invalid; in processAssertion()993 unsigned bt = d_bound_kind[tn]; in processAssertion()998 d_bound_kind[tn] = bound_strict; in processAssertion()1048 d_bound_kind[tn1] = bound_default; in registerRefDataTypes()1079 if( d_bound_kind[tn]==bound_herbrand ){ in initializeBounds()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()
248 std::map< TypeNode, unsigned > d_bound_kind; variable