PromelaCodeAnalyzer.cpp File Reference

#include "PromelaCodeAnalyzer.h"
#include "uscxml/transform/ChartToPromela.h"
#include "uscxml/util/Predicates.h"
#include "uscxml/util/DOM.h"
#include "uscxml/util/String.h"
#include <boost/algorithm/string.hpp>

Include dependency graph for PromelaCodeAnalyzer.cpp:

Macros
#define	MAX_MACRO_CHARS   64

Detailed Description

Author

2016 Stefan Radomski (stefa.nosp@m.n.ra.nosp@m.domsk.nosp@m.i@cs.nosp@m..tu-d.nosp@m.arms.nosp@m.tadt..nosp@m.de)

Copyright

Simplified BSD