From 1f16782c64f5184c85e6cb13572df9f903d1d2a3 Mon Sep 17 00:00:00 2001
From: Ghofrane Amaimi <ghofraneeamaimi@gmail.com>
Date: Tue, 12 Jul 2022 15:58:42 +0200
Subject: [PATCH] set the type of BA to state-based
---
src/main.cpp | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index 685f2a6..cc0fddc 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -129,8 +129,10 @@ Formula negateFormula(const string &fileName)
spot::twa_graph_ptr formula2Automaton(const spot::formula &f, spot::bdd_dict_ptr bdd, bool save_dot = false)
{
cout << "\nBuilding automata for not(formula)\n";
-
- spot::twa_graph_ptr af = spot::translator(bdd).run(f);
+ spot::translator tmp = spot::translator(bdd);
+ tmp.set_type(spot::postprocessor::BA);
+ spot::twa_graph_ptr af = tmp.run(f);
+// spot::twa_graph_ptr af = spot::translator(bdd).run(f);
cout << "Formula automata built." << endl;
// save the generated automaton in a dot file
--
GitLab