From a1af49d4d223c610f6fc9e67e1dac6106281fd6c Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 17 Feb 2020 08:40:02 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/main.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/main.cpp | 19 ++-----------------
1 file changed, 2 insertions(+), 17 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index 52b5b3b..b30b2cc 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -103,7 +103,7 @@ int main(int argc, char** argv)
cout<<"Fichier net : "<<argv[3]<<endl;
cout<<"Fichier formule : "<<formula<<endl;
cout<<"Fichier Interface : "<<Int<<endl;
- cout<<"Bound : "<<argv[argc-1]<<endl;
+
cout<<"thread : "<<argv[2]<<endl;
//strcpy(red,argv[5]);
//cout<<"Reduce : "<<red<<endl;
@@ -160,22 +160,7 @@ int main(int argc, char** argv)
auto k =
std::make_shared<SogKripkeTh>(d,mcl,Rnewnet.getListTransitionAP(),Rnewnet.getListPlaceAP());
- /* spot::twa_graph_ptr k =
- spot::make_twa_graph(std::make_shared<SogKripkeTh>(d,mcl,R.getListTransitionAP(),R.getListPlaceAP()),
- spot::twa::prop_set::all(), true);*/
- /* cout<<"Want to save the graph in a dot file ?";
- cin>>c;
- if (c=='y')
- {
- fstream file;
- string st(argv[3]);
- st+=".dot";
- file.open(st.c_str(),fstream::out);
- spot::print_dot(file, k,"ka");
- file.close();
- }
- mcl->getGraph()->printCompleteInformation();
- // Performing on the fly Modelchecking*/
+
cout<<"Performing on the fly Modelchecking"<<endl;
if (auto run = k->intersecting_run(af))
--
GitLab