コード例 #1
0
ファイル: Constraints.cpp プロジェクト: bwzhou/Gklee
bool ConstraintManager::rewriteConstraints(ExprVisitor &visitor) {
  ConstraintManager::constraints_ty old;
  bool changed = false;

  constraints.swap(old);
  for (ConstraintManager::constraints_ty::iterator 
         it = old.begin(), ie = old.end(); it != ie; ++it) {
    ref<Expr> &ce = *it;
    ref<Expr> e = visitor.visit(ce);

    if (e!=ce) {
      addConstraintInternal(e); // enable further reductions
      changed = true;
    } else {
      constraints.push_back(ce);
    }
  }

  return changed;
}
コード例 #2
0
ファイル: exp.cpp プロジェクト: smunix/Mach7
 void accept(ExprVisitor& v) const { v.visit(*this); }