Home
last modified time | relevance | path

Searched refs:m_reals (Results 1 – 4 of 4) sorted by relevance

/dports/math/gismo/gismo-21.12.0/src/gsIO/
H A DgsOptionList.h168 {return m_strings.size()+m_ints.size()+m_reals.size()+m_switches.size();} in size()
190 m_reals = other.m_reals;
204 m_reals(other.m_reals), in gsOptionList()
210 m_reals(std::move(other.m_reals)), in gsOptionList()
217 m_reals = std::move(other.m_reals);
228 m_reals .swap(other.m_reals ); in swap()
266 RealTable m_reals; ///< Real-valued options/parameters variable
H A DgsOptionList.cpp96 for (RealTable::const_iterator it = m_reals.begin(); it != m_reals.end(); it++) in getMultiReal()
238 if (m_reals .erase(label)) return; in remove()
259 for ( RealTable::const_iterator it3 = other.m_reals.begin(); it3 != other.m_reals.end(); it3++ ) in update()
289 for ( RealTable::const_iterator it3 = m_reals.begin(); it3 != m_reals.end(); it3++ ) in wrapIntoGroup()
319 for ( RealTable::const_iterator it3 = m_reals.begin(); it3 != m_reals.end(); it3++ ) in getGroup()
342 for ( RealTable::const_iterator it3 = m_reals.begin(); it3 != m_reals.end(); it3++ ) in hasGlobals()
365 for ( RealTable::const_iterator it3 = m_reals.begin(); it3 != m_reals.end(); it3++ ) in hasGroup()
407 for ( RealTable::const_iterator it3 = m_reals.begin(); it3 != m_reals.end(); it3++ ) in getAllEntries()
460 if ( it3 != m_reals.end() ) in getInfo()
475 if ( m_reals.find(label) != m_reals.end() ) return true; in exists()
[all …]
/dports/math/z3/z3-z3-4.8.13/src/solver/
H A Dcheck_logic.cpp61 m_reals = false; in reset()
82 m_reals = true; in set_logic()
89 m_reals = true; in set_logic()
95 m_reals = true; in set_logic()
134 m_reals = true; in set_logic()
141 m_reals = true; in set_logic()
148 m_reals = true; in set_logic()
165 m_reals = true; in set_logic()
169 m_reals = true; in set_logic()
174 m_reals = true; in set_logic()
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/src/solver/
H A Dcheck_logic.cpp61 m_reals = false; in reset()
82 m_reals = true; in set_logic()
89 m_reals = true; in set_logic()
95 m_reals = true; in set_logic()
134 m_reals = true; in set_logic()
141 m_reals = true; in set_logic()
148 m_reals = true; in set_logic()
165 m_reals = true; in set_logic()
169 m_reals = true; in set_logic()
174 m_reals = true; in set_logic()
[all …]