Searched refs:NEED_PROPAGATION (Results 1 – 2 of 2) sorted by relevance
1666 enum update_status { CHOOSE_VAR, NEED_PROPAGATION }; enumerator1698 return NEED_PROPAGATION; in update_current()1819 return m_fml && NEED_PROPAGATION == update_current(model_eval, false); in can_propagate_assignment()
1670 enum update_status { CHOOSE_VAR, NEED_PROPAGATION }; enumerator1702 return NEED_PROPAGATION; in update_current()1823 return m_fml && NEED_PROPAGATION == update_current(model_eval, false); in can_propagate_assignment()