Searched defs:useInvariants (Results 1 – 3 of 3) sorted by relevance
190 CHECKENABLE useInvariants = CHECKENABLE._default; // generate class invariant checks variable
168 CHECKENABLE useInvariants; // generate class invariant checks member
109 bool useInvariants; // generate class invariant checks member