taco-oopsla2017/src/lower/lower.cpp
static Expr allEqualTo(const vector<Iterator>& iterators, Expr idx) {
  if (iterators.size() == 0) {
    return Literal::make(true);
  }

  vector<Expr> iterIdxEqualToIdx;
  for (auto& iter : iterators) {
    iterIdxEqualToIdx.push_back(Eq::make(iter.getIdxVar(), idx));
  }
  return conjunction(iterIdxEqualToIdx);
}
/// Expression evaluates to true iff all the iterator idx vars are equal to idx
/// or if there are no iterators.
Expression evaluates to true iff all the iterator idx vars are equal to idx
or if there are no iterators.
Expression evaluates to true iff all the iterator idx vars are equal to idx or if there are no iterators .
static Expr allEqualTo(const vector<Iterator>& iterators, Expr idx) {
  if (iterators.size() == 0) {
    return Literal::make(true);
  }
  vector<Expr> iterIdxEqualToIdx;
  for (auto& iter : iterators) {
    iterIdxEqualToIdx.push_back(Eq::make(iter.getIdxVar(), idx));
  }
  return conjunction(iterIdxEqualToIdx);
}
static Expr allEqualTo ( const vector < Iterator > & iterators , Expr idx ) { if ( iterators . size ( ) == 0 ) { return Literal :: make ( true ) ; } vector < Expr > iterIdxEqualToIdx ; for ( auto & iter : iterators ) { iterIdxEqualToIdx . push_back ( Eq :: make ( iter . getIdxVar ( ) , idx ) ) ; } return conjunction ( iterIdxEqualToIdx ) ; }
Expression evaluates to true iff all the iterator idx vars are equal to idx
or if there are no iterators.
Expression evaluates to true iff all the iterator idx vars are equal to idx or if there are no iterators .