CppGenerator.hh File Reference

#include <string>
#include "ClassicalDiagnoser.hh"

Go to the source code of this file.

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Automata

Functions
void	Diades::Automata::generateCppCode (const ClassicalDiagnoser &diagnoser, const string &filename)