Searched refs:d_bounds_init (Results 1 – 2 of 2) sorted by relevance
57 bool d_bounds_init; variable
54 d_bounds_init = false; in TheorySep()1069 if( !d_bounds_init ){ in initializeBounds()1071 d_bounds_init = true; in initializeBounds()