src/tgbaalgos/ltl2tgba_fm.cc · b67852a5ff524c05aca1e22fd134e2dcd5dd0bf4 · Spot / Spot · GitLab

Nov 11, 2011
b67852a5
Reuse Boolean->BDD translations performed during simplification. · b67852a5
Alexandre Duret-Lutz authored Nov 11, 2011
```
* src/tgbaalgos/ltl2tgba_fm.cc (translate_dict::ltl_to_bdd):
Use boolean_to_bdd()
```
b67852a5
Reuse Boolean->BDD translations performed during simplification.
Alexandre Duret-Lutz authored Nov 11, 2011
```
* src/tgbaalgos/ltl2tgba_fm.cc (translate_dict::ltl_to_bdd):
Use boolean_to_bdd()
```