Searched refs:push_back_postcondition (Results 1 – 2 of 2) sorted by relevance
58 void push_back_postcondition( in push_back_postcondition() function in iarray
54 .postcondition(boost::bind(&iarray::push_back_postcondition, this, in push_back()