Home
last modified time | relevance | path

Searched refs:m_mark_shared_occs (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dast.h469 unsigned m_mark_shared_occs:1; variable
471 void mark_so(bool flag) { m_mark_shared_occs = flag; } in mark_so()
472 void reset_mark_so() { m_mark_shared_occs = false; } in reset_mark_so()
473 bool is_marked_so() const { return m_mark_shared_occs; } in is_marked_so()
492 …ast(ast_kind k):m_id(UINT_MAX), m_kind(k), m_mark1(false), m_mark2(false), m_mark_shared_occs(fals… in ast()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dast.h468 unsigned m_mark_shared_occs:1; variable
470 void mark_so(bool flag) { m_mark_shared_occs = flag; } in mark_so()
471 void reset_mark_so() { m_mark_shared_occs = false; } in reset_mark_so()
472 bool is_marked_so() const { return m_mark_shared_occs; } in is_marked_so()
491 …ast(ast_kind k):m_id(UINT_MAX), m_kind(k), m_mark1(false), m_mark2(false), m_mark_shared_occs(fals… in ast()