timer.hxx

Go to the documentation of this file.

// timer.hxx: this file is part of the Vaucanson project.
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2006, 2007 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//

#ifndef VCSN_MISC_TIMER_HXX
# define VCSN_MISC_TIMER_HXX

# include <iosfwd>

# include <sys/times.h>
# include <unistd.h>

# ifdef VAUCANSON
#  include <vaucanson/misc/timer.hh>
# else
#  include "timer.hh"
# endif

NAMESPACE_VCSN_BEGIN

namespace misc
{

  /*------------------.
  | Timer.            |
  | General methods.  |
  `------------------*/

  inline
  Timer::~Timer ()
  {
  }

  /*--------------.
  | Timer.        |
  | Arithmetics.  |
  `--------------*/

  inline
  bool
  Timer::operator< (const Timer& rhs) const
  {
    precondition (! (is_running_ || rhs.is_running_));

    return graph_[0].total.cpu < rhs.graph_[0].total.cpu;
  }

  /*----------------------.
  | Timer.                |
  | Result computation.   |
  `----------------------*/

  inline
  void
  Timer::build_connected_components ()
  {
    comp_id_.resize (num_vertices (graph_));
    comp_count_ = strong_components (graph_, &comp_id_[0]);
  }

  /*-----------.
  | Timer.     |
  | Printing.  |
  `-----------*/

  inline
  std::ostream&
  Timer::print (std::ostream&         o,
                timer::verbose_degree vd) const
  {
    print_output_graph(o, vd);

    return o;
  }

  inline
  std::ostream&
  Timer::export_dot (std::ostream&         o,
                     timer::verbose_degree vd,
                     double                ccr) const
  {
    write_graphviz (o, graph_,
                    timer::VertexWriter (*this, vd, ccr),
                    timer::EdgeWriter   (*this, vd, ccr),
                    timer::GraphWriter  (*this, vd, ccr));
    return o;
  }

  /*--------------.
  | ScopedTimer.  |
  `--------------*/

  inline
  ScopedTimer::ScopedTimer (Timer&             timer,
                            const unsigned int i)
  {
    timer_ = &timer;
    timer.push (i);
  }

  inline
  ScopedTimer::ScopedTimer (Timer&             timer,
                            const std::string& name)
  {
    timer_ = &timer;
    timer.push (name);
  }

  inline
  ScopedTimer::~ScopedTimer ()
  {
    timer_->pop ();
  }

  /*--------------------------.
  | Free standing functions.  |
  `--------------------------*/

  inline
  std::ostream&
  operator<< (std::ostream& o,
              const Timer&  t)
  {
    return t.print (o, timer::VERBOSE_NONE);
  }


} // namespace misc

NAMESPACE_VCSN_END

#endif 

---