diades/html/CppGenerator_8hh_source.html

 #ifndef __DIADES__AUTOMATA__CPPGENERATOR__HH
 #define __DIADES__AUTOMATA__CPPGENERATOR__HH

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


 namespace Diades
 {
   namespace Automata
   {

         void generateCppCode(const ClassicalDiagnoser & diagnoser, const string & filename);


   };
 };


 #endif


Diades
Namespace of the Diades project.

ClassicalDiagnoser.hh

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