Home
last modified time | relevance | path

Searched refs:m_num_non_linear (Results 1 – 6 of 6) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dstatic_features.cpp97 m_num_non_linear = 0; in reset()
308 m_num_non_linear++; in update_core()
317 m_num_non_linear++; in update_core()
642 out << "NUM_NON_LINEAR " << m_num_non_linear << "\n"; in display_primitive()
664 out << "IS_NON_LINEAR " << (m_num_non_linear > 0) << "\n"; in display()
H A Dstatic_features.h97 unsigned m_num_non_linear; member
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dstatic_features.cpp97 m_num_non_linear = 0; in reset()
308 m_num_non_linear++; in update_core()
317 m_num_non_linear++; in update_core()
628 out << "NUM_NON_LINEAR " << m_num_non_linear << "\n"; in display_primitive()
650 out << "IS_NON_LINEAR " << (m_num_non_linear > 0) << "\n"; in display()
H A Dstatic_features.h97 unsigned m_num_non_linear; member
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_setup.cpp1018 if ((st.m_has_int && st.m_has_real) || (st.m_num_non_linear != 0)) in setup_unknown()
1028 if (!st.m_has_real && st.m_num_non_linear == 0) in setup_unknown()
1030 else if (!st.m_has_int && st.m_num_non_linear == 0) in setup_unknown()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_setup.cpp1006 if ((st.m_has_int && st.m_has_real) || (st.m_num_non_linear != 0)) in setup_unknown()
1016 if (!st.m_has_real && st.m_num_non_linear == 0) in setup_unknown()
1018 else if (!st.m_has_int && st.m_num_non_linear == 0) in setup_unknown()