DiaDes
0.1
DIAgnosis of Discrete-Event System
|
class Identifier More...
#include <string>
#include <vector>
#include <unordered_map>
#include <map>
#include <istream>
#include "Assertion.hh"
#include "Exceptions.hh"
Go to the source code of this file.
Classes | |
class | Diades::Utils::IdentifierData |
This is the internal representation of an Identifier. More... | |
class | Diades::Utils::Identifier |
An Identifier is a reference to a string (IdentifierData) that only contains alpha-numeric characters and underscores. More... | |
class | Diades::Utils::IdentifierFactory |
A IdentifierFactory is a factory in charge of creating IdentifierData. More... | |
struct | std::hash< Diades::Utils::Identifier > |
Namespaces | |
Diades | |
Namespace of the Diades project. | |
Diades::Utils | |
Functions | |
istream & | Diades::Utils::getIdentifierString (istream &is, std::string &identifier) |
std::ostream & | Diades::Utils::operator<< (std::ostream &os, const Identifier &identifier) |