Home
last modified time | relevance | path

Searched refs:m_right_assoc (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dast.h392 bool m_right_assoc:1; member
404 bool is_associative() const { return m_left_assoc && m_right_assoc; } in is_associative()
406 bool is_right_associative() const { return m_right_assoc; } in is_right_associative()
416 void set_associative(bool flag = true) { m_left_assoc = flag; m_right_assoc = flag; }
418 void set_right_associative(bool flag = true) { m_right_assoc = flag; }
H A Dast.cpp249 m_right_assoc(false), in func_decl_info()
263 m_right_assoc == info.m_right_assoc && in operator ==()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dast.h391 bool m_right_assoc:1; member
403 bool is_associative() const { return m_left_assoc && m_right_assoc; } in is_associative()
405 bool is_right_associative() const { return m_right_assoc; } in is_right_associative()
415 void set_associative(bool flag = true) { m_left_assoc = flag; m_right_assoc = flag; }
417 void set_right_associative(bool flag = true) { m_right_assoc = flag; }
H A Dast.cpp267 m_right_assoc(false), in func_decl_info()
281 m_right_assoc == info.m_right_assoc && in operator ==()