Searched defs:constructor_precondition (Results 1 – 2 of 2) sorted by relevance
| /third_party/boost/boost/contract/core/ | ||
| D | constructor_precondition.hpp | 77 class constructor_precondition { // Copyable (has no data). class |
| /third_party/boost/libs/contract/example/features/ | ||
| D | no_lambdas.hpp | 25 static void constructor_precondition(unsigned const max, in constructor_precondition() function in iarray |