Searched refs:m_is_free (Results 1 – 1 of 1) sorted by relevance
39 bool m_is_free; member in _4ti2_zsolve_::VariableProperty61 if (m_is_free) in set_bound()78 m_is_free = free; in set()86 m_is_free = free; in set()95 m_is_free = false; in setSign()103 m_is_free = false; in setSign()110 m_is_free = false; in setSign()121 if (m_is_free) in sign()134 m_is_free = false; in setLower()141 m_is_free = false; in setUpper()[all …]