DiaDes  0.1
DIAgnosis of Discrete-Event System
Classes | Namespaces | Typedefs | Functions
Unfolding.hh File Reference
#include <graph/Graph.hh>
#include <graph/NodeMap.hh>
#include "Node.hh"
#include "Sdmdl.hh"
#include "NodeInstance.hh"

Go to the source code of this file.

Classes

struct  Diades::Altarica::EncodedTransition
 
struct  Diades::Altarica::Encoding
 

Namespaces

 Diades
 Namespace of the Diades project.
 
 Diades::Altarica
 

Typedefs

typedef Diades::Graph::Node Diades::Altarica::GNode
 

Functions

bool Diades::Altarica::encodeInvariant (NodeInstance node, list< Formula > &invariantFormula)
 
bool Diades::Altarica::encodeNodeInstance (NodeInstance node)
 
bool Diades::Altarica::encodeTransitions (NodeInstance node, const list< Formula > &invariant, list< EncodedTransition * > &transitions)
 
bool Diades::Altarica::encodeInitialAssignments (NodeInstance node, Formula &initialisation)
 
bool Diades::Altarica::encodeInitialStates (NodeInstance node, const list< Formula > &invariant, Formula &initialisation, Formula &initialStates)