← Back to branch summary

~tapaal-ltl/verifypn/loopInvariantReduction

« back to all changes in this revision

Viewing changes to src/LTL/Algorithm/LTLToBuchi.cpp

  • Committer: Simon Virenfeldt
  • Date: 2021-03-02 08:29:18 UTC
  • Revision ID: simwir1@gmail.com-20210302082918-23apb8s0k0i3y9r0
Remove complete preference from the buchi generation

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/LTL/Algorithm/LTLToBuchi.cpp
154
154
        formula = spot::formula::Not(formula);
155
155
        spot::translator translator;
156
156
        translator.set_type(spot::postprocessor::BA);
157
 
        translator.set_pref(spot::postprocessor::Complete);
158
157
        translator.set_level(spot::postprocessor::Medium);
159
158
        spot::twa_graph_ptr automaton = translator.run(formula);
160
159
        std::unordered_map<int, AtomicProposition> ap_map;