pd_pushdown_V2.cpp File Reference

Construct a controller from given files. More...

#include "libfaudes.h"
#include "pd_include.h"

Go to the source code of this file.

Namespaces

namespace  faudes
 libFAUDES resides within the namespace faudes.

Functions

int faudes::main (std::string &arg1, std::string &arg2)
int main (int argc, char **argv)

Detailed Description

Construct a controller from given files.

/** @file pd_pushdown_V2.cpp
Construct a controller from given files
@ingroup Tutorials
@include pd_pushdown_V2.cpp
*/
/* Pushdown plugin for FAU Discrete Event Systems Library (libfaudes)
Copyright (C) 2013 Stefan Jacobi, Sven Schneider, Anne-Kathrin Hess
*/
#include "libfaudes.h"
#include "pd_include.h"
// make the faudes namespace available to our program
namespace faudes{
int main(std::string& arg1,std::string& arg2){
std::cout << "********** Controller Construction ****************" << std::endl;
std::cout << "********** pushdown_V2 ****************" << std::endl;
System sys = SystemFromDot(arg1);
PushdownGenerator controller;
PushdownConstructController(pd,sys,controller);
controller.DotWrite("pushdown_V2_Controller.dot");
return 0;
}
} // namespace
int main( int argc, char **argv ){
if(argc < 3){
std::cout << "Missing arguments " << std::endl;
std::cout << "Use: pd_pushdown_V2 < dot-file DFA> <dot-file DPDA>" << std::endl;
return 1;
}
static time_t starttime = time(0);
std::string arg1 = argv[1];
std::string arg2 = argv[2];
faudes::main(arg1,arg2);
int funTime = static_cast<int>(difftime(time(0),starttime));
std::stringstream sfunTime;
std::cout << "Finish: " << funTime/60 << "min " << funTime % 60 << "s \n";
return 0;
}

Definition in file pd_pushdown_V2.cpp.

Function Documentation

int main ( int  argc,
char **  argv 
)

Definition at line 45 of file pd_pushdown_V2.cpp.

libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen