• Alexandre Duret-Lutz's avatar
    Fixes to pass sanity checks. · 67bbe6a6
    Alexandre Duret-Lutz authored
    * src/ta/taproduct.cc, src/ta/tgtaproduct.cc, src/ta/tgtaproduct.hh,
    src/taalgos/emptinessta.cc, src/tgbatest/ltl2ta.test: 80 columns.
    * src/ta/tgta.hh, src/ta/tgtaproduct.hh, src/taalgos/emptinessta.hh,
    src/taalgos/tgba2ta.hh: Fix include gards.
    * src/taalgos/tgba2ta.hh: Remove superfluous includes.
    * src/taalgos/tgba2ta.cc: Add missing include.
    * src/tgbatest/ltl2tgba.cc: Fix use of bdd_true().
    67bbe6a6
tgba2ta.cc 22.6 KB