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