Searched defs:old_instances (Results 1 – 5 of 5) sorted by relevance
33 boost::contract::old_ptr<int> old_instances = in positive() local48 boost::contract::old_ptr<int> old_instances = in ~positive() local89 boost::contract::old_ptr<int> old_instances = in positive() local
30 boost::contract::old_ptr<int> old_instances = in make() local42 boost::contract::old_ptr<int> old_instances = in ~make() local
18 boost::contract::old_ptr<int> old_instances; in iarray() local36 boost::contract::old_ptr<int> old_instances; in ~iarray() local
29 static void constructor_old(boost::contract::old_ptr<int>& in constructor_old()45 static void destructor_postcondition(boost::contract::old_ptr<int> const in destructor_postcondition()
32 boost::contract::old_ptr<int> old_instances; in iarray() local50 boost::contract::old_ptr<int> old_instances; in ~iarray() local