Searched defs:note_simplification (Results 1 – 8 of 8) sorted by relevance
296 fwprop_propagation::note_simplification (int old_num_changes, in note_simplification() function
117 virtual void note_simplification (int /*old_num_changes*/, in note_simplification() function