Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dterm_database.cpp912 bool addedFirst = false; in reset() local
921 if( !addedFirst ){ in reset()
922 addedFirst = true; in reset()
/dports/math/cvc4/CVC4-1.7/src/theory/datatypes/
H A Dtheory_datatypes.cpp2227 bool addedFirst = false; in getRelevantTerms() local
2242 addedFirst = true; in getRelevantTerms()
2248 if (!addedFirst) in getRelevantTerms()
2250 addedFirst = true; in getRelevantTerms()