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