Searched refs:quantification_mode_t (Results 1 – 3 of 3) sorted by last modified time
49 enum quantification_mode_t enum
2033 ParseConstants::quantification_mode_t _qmode, in QuantifiedExpr()
2628 ParseConstants::quantification_mode_t qmode;2635 ParseConstants::quantification_mode_t qmode,2639 ParseConstants::quantification_mode_t get_qmode() const { return qmode; } in get_qmode()