DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <string>
#include <unordered_map>
#include <limits>
#include <vector>
#include <set>
#include <utils/Exceptions.hh>
#include <utils/Assertion.hh>
#include "Type.hh"
Go to the source code of this file.
Classes | |
class | Diades::Altarica::ValueData |
class | Diades::Altarica::Value |
class | Diades::Altarica::ValueFactory |
struct | Diades::Altarica::GetValueIdentifier |
struct | Diades::Altarica::GetValueInteger |
struct | Diades::Altarica::GetValueBoolean |
Namespaces | |
Diades | |
Namespace of the Diades project. | |
Diades::Altarica | |
Typedefs | |
typedef vector< int >::size_type | Diades::Altarica::ValueCode |
typedef map< Identifier, Value > | Diades::Altarica::StructureValueFields |
typedef vector< Value > | Diades::Altarica::ArrayValueFields |
typedef set< Value > | Diades::Altarica::ValueSet |
set of Value elements More... | |
Enumerations | |
enum | Diades::Altarica::ConstraintOperator { Diades::Altarica::Eq, Diades::Altarica::Neq, Diades::Altarica::Gt, Diades::Altarica::Geq, Diades::Altarica::Lt, Diades::Altarica::Leq } |
Functions | |
Value | Diades::Altarica::getValue (const Identifier &value) |
Value | Diades::Altarica::getValue (bool value) |
Value | Diades::Altarica::getValue (int value) |
Value | Diades::Altarica::getValue (const ArrayValueFields &arrayValueFields) |
Value | Diades::Altarica::getValue (const StructureValueFields &structureValueFields) |