DiaDes  0.1
DIAgnosisofDiscrete-EventSystem
Classes | Namespaces | Functions
EncodedInstance.hh File Reference
#include <diades/graph/Graph.hh>
#include <diades/graph/NodeMap.hh>
#include <diades/graph/EdgeMap.hh>
#include <diades/altarica/Node.hh>
Include dependency graph for EncodedInstance.hh:

Go to the source code of this file.

Classes

class  Diades::Altarica::EncodedInstanceData
 
class  Diades::Altarica::EncodedInstance
 

Namespaces

 Diades
 Namespace of the Diades project.
 
 Diades::Altarica
 

Functions

EncodedInstance Diades::Altarica::createEncodedNode (Node instance)
 
void Diades::Altarica::unfold (EncodedInstance instance)
 
void Diades::Altarica::export2dot (EncodedInstance instance, const string &fileName)