Home
last modified time | relevance | path

Searched defs:irrKinds (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory.cpp238 set<Kind>& irrKinds, in collectTerms()
262 set<Kind> irrKinds; in computeRelevantTerms() local
267 set<Kind>& irrKinds, in computeRelevantTerms()