Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/qe/
H A Dqe.cpp1666 enum update_status { CHOOSE_VAR, NEED_PROPAGATION }; enumerator
1698 return NEED_PROPAGATION; in update_current()
1819 return m_fml && NEED_PROPAGATION == update_current(model_eval, false); in can_propagate_assignment()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/
H A Dqe.cpp1670 enum update_status { CHOOSE_VAR, NEED_PROPAGATION }; enumerator
1702 return NEED_PROPAGATION; in update_current()
1823 return m_fml && NEED_PROPAGATION == update_current(model_eval, false); in can_propagate_assignment()