taco-oopsla2017/src/lower/lower.cpp
static Expr noneExhausted(const vector<Iterator>& iterators) {
  vector<Expr> stepIterLqEnd;
  for (auto& iter : iterators) {
    stepIterLqEnd.push_back(Lt::make(iter.getIteratorVar(), iter.end()));
  }
  return conjunction(stepIterLqEnd);
}
/// Expression evaluates to true iff none of the iteratators are exhausted
Expression evaluates to true iff none of the iteratators are exhausted
Expression evaluates to true iff none of the iteratators are exhausted
static Expr noneExhausted(const vector<Iterator>& iterators) {
  vector<Expr> stepIterLqEnd;
  for (auto& iter : iterators) {
    stepIterLqEnd.push_back(Lt::make(iter.getIteratorVar(), iter.end()));
  }
  return conjunction(stepIterLqEnd);
}
static Expr noneExhausted ( const vector < Iterator > & iterators ) { vector < Expr > stepIterLqEnd ; for ( auto & iter : iterators ) { stepIterLqEnd . push_back ( Lt :: make ( iter . getIteratorVar ( ) , iter . end ( ) ) ) ; } return conjunction ( stepIterLqEnd ) ; }
Expression evaluates to true iff none of the iteratators are exhausted
Expression evaluates to true iff none of the iteratators are exhausted