Searched defs:m_quantifiers (Results 1 – 7 of 7) sorted by relevance
46 obj_map<quantifier, rule*> m_quantifiers; variable
80 ptr_vector<quantifier> m_quantifiers; variable
134 ptr_vector<quantifier> m_quantifiers; member
49 bool m_quantifiers; // true if the logic supports quantifiers member