Home | History | Annotate | Download | only in AST

Lines Matching full:tentative

296     /// \brief The set of "tentative" equivalences between two canonical 
1404   // Determine whether we've already produced a tentative equivalence for D1.
1409   // Produce a tentative equivalence D1 <-> D2, which will be checked later.
1438     assert(D2 && "Unrecorded tentative equivalence?");