DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <boost/format.hpp>
#include <iostream>
#include <sstream>
#include <string>
#include "Functors.hh"
Go to the source code of this file.
Classes | |
class | Diades::Utils::ToStream< InputIterator, Predicate > |
class | Diades::Utils::Verbose |
Namespaces | |
Diades | |
Namespace of the Diades project. | |
Diades::Utils | |
Typedefs | |
typedef boost::format | Diades::Utils::Msg |
Functions | |
template<Diades::Utils::VerboseLevel level> | |
Diades::Utils::Verbose | verbose (const char *msg) |
void | setVerboseLevel (Diades::Utils::VerboseLevel level) |
template<typename InputIterator > | |
Diades::Utils::ToStream< InputIterator, Diades::Utils::AlwaysTrue< typename InputIterator::reference > > | toStream (InputIterator first, InputIterator last) |
template<typename InputIterator , typename Predicate > | |
Diades::Utils::ToStream< InputIterator, Predicate > | toStream (InputIterator first, InputIterator last, Predicate predicate) |
|
inline |
Definition at line 135 of file Verbose.hh.
References Diades::Utils::Verbose::currentLevel.
Referenced by main(), readParameters(), writeTimedSimulation(), and writeUntimedSimulation().
Diades::Utils::ToStream<InputIterator,Diades::Utils::AlwaysTrue<typename InputIterator::reference> > toStream | ( | InputIterator | first, |
InputIterator | last | ||
) |
Definition at line 143 of file Verbose.hh.
Referenced by Diades::Automata::generateTransitionList(), getOutputProjection(), insertFsms(), Diades::Automata::interactiveSimulation(), main(), Diades::Automata::operator<<(), projectAut(), projectDdaut(), startInteractiveSimulation(), startNonInteractiveSimulation(), synchroniseFsm(), writeFinalPartOfSimulation(), and writeUntimedSimulation().
Diades::Utils::ToStream<InputIterator,Predicate> toStream | ( | InputIterator | first, |
InputIterator | last, | ||
Predicate | predicate | ||
) |
Definition at line 150 of file Verbose.hh.
Diades::Utils::Verbose verbose | ( | const char * | msg | ) |
Definition at line 126 of file Verbose.hh.
Referenced by initialiseModelFromSdmdl(), and main().