cloud9_root/src/third_party/stp/src/simplifier/simplifier.cpp
// I like simplify to have been run on all the nodes.
I like simplify to have been run on all the nodes.
I like simplify to have been run on all the nodes .
void
  Simplifier::checkIfInSimplifyMap(const ASTNode& n, ASTNodeSet visited)
  {
    if (n.isConstant() || (n.GetKind() == SYMBOL))
      return;
    if (visited.find(n) != visited.end())
      return;
    if (SimplifyMap->find(n) == SimplifyMap->end())
      {
        cerr << "not found";
        cerr << n;
        assert(false);
      }
    for (int i = 0; i < n.Degree(); i++)
      {
        checkIfInSimplifyMap(n[i], visited);
      }
    visited.insert(n);
  }
void Simplifier :: checkIfInSimplifyMap ( const ASTNode & n , ASTNodeSet visited ) { if ( n . isConstant ( ) || ( n . GetKind ( ) == SYMBOL ) ) return ; if ( visited . find ( n ) != visited . end ( ) ) return ; if ( SimplifyMap -> find ( n ) == SimplifyMap -> end ( ) ) { cerr << " " ; cerr << n ; assert ( false ) ; } for ( int i = 0 ; i < n . Degree ( ) ; i ++ ) { checkIfInSimplifyMap ( n [ i ] , visited ) ; } visited . insert ( n ) ; }
I like simplify to have been run on all the nodes.
I like simplify to have been run on all the nodes .