Searched defs:inv2 (Results 1 – 2 of 2) sorted by relevance
185 boost::contract::check inv2 = boost::contract::public_function(&right); in operator ==() local
307 char inv1, inv2; member