Searched defs:maxatoms_ (Results 1 – 11 of 11) sorted by relevance
51 int maxatoms_; // Maximum number of atoms allowed in expr. variable
56 int maxatoms_; // Maximum number of atoms allowed in expr. variable
56 EXPECT_EQ(2, have->size()); // there are only two named groups in