Home | History | Annotate | Download | only in Sema

Lines Matching full:precondition

2754   /// \brief Build the precondition expression for the loops.
3720 // Precondition tests if there is at least one iteration (all conditions are