|
Go to the documentation of this file.
25 int main(std::string& arg1,std::string& arg2){
27 std::cout << "********** Controller Construction ****************" << std::endl;
28 std::cout << "********** pushdown_V2 ****************" << std::endl;
38 controller. DotWrite( "pushdown_V2_Controller.dot");
45 int main( int argc, char **argv ){
48 std::cout << "Missing arguments " << std::endl;
49 std::cout << "Use: pd_pushdown_V2 < dot-file DFA> <dot-file DPDA>" << std::endl;
53 static time_t starttime = time(0);
55 std::string arg1 = argv[1];
56 std::string arg2 = argv[2];
59 int funTime = static_cast<int>(difftime(time(0),starttime));
60 std::stringstream sfunTime;
62 std::cout << "Finish: " << funTime/60 << "min " << funTime % 60 << "s \n";
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|