Update main.cpp

main.cpp

@@ -24,7 +24,7 @@ int main(int argc, char *argv[]) {
 
 
 if ( std::string(argv[1]).find("help")!=-1  )
-{cout <<"/**************************************************************/\n/********************         help         ********************/ \n -To generate the reachability graph: use the option -r <filename.net>. \n -To generate test paths covering the given observable transitions t1,t2...tn: use the option -o <filename.net> <fileobs.txt >. \n -To generate test paths using structural analysis: use the option -a <filename.net>\n -To generate the complete SOG corresponding to obs trans: use the option -c <filename.net>\n -To generate a random graph and extract the optimal solution: give n the state number of the random graph\n -To extract the optimal solution of a .dot file: use the option -d <filename.dot> \n/**************************************************************/"<<endl;
+{cout <<"/**************************************************************/\n/********************         help         ********************/ \n -To generate the reachability graph: use the option -r <filename.net>. \n  -To generate the reachability graph then find the optimal solution : use the option -ro <filename.net>. \n -To generate test paths covering the given observable transitions t1,t2...tn: use the option -o <filename.net> <fileobs.txt >. \n -To generate test paths using structural analysis: use the option -a <filename.net>\n -To generate the conplete SOG corresponding to obs trans: use the option -c <filename.net>\n To generate the conplete SOG corresponding to obs trans then find the optimal soution: use the option -co <filename.net>\n-To generate a random graph and extract the optimal solution: give n the state number of the random graph\n -To extract the optimal solution of a .dot file: use the option -d <filename.dot> \n /**************************************************************/"<<endl;
 return 0;}
 //-To generate the rachability graph of a petri net then extract the optimal solution: use -ro <filename> 
     bool fromfile = false;