1 #ifndef __DIADES__AUTOMATA__CPPGENERATOR__HH 2 #define __DIADES__AUTOMATA__CPPGENERATOR__HH 18 void generateCppCode(
const ClassicalDiagnoser & diagnoser,
const string & filename);
Namespace of the Diades project.
void generateCppCode(const ClassicalDiagnoser &diagnoser, const string &filename)