• Alexandre Duret-Lutz's avatar
    * src/tgba/tgbabddconcretefactory.hh · b963af66
    Alexandre Duret-Lutz authored
    (tgba_bdd_concrete_factory::add_relation): Rename as ...
    (tgba_bdd_concrete_factory::constrain_relation): ... this.
    * src/tgba/tgbabddconcretefactory.cc, src/tgbaalgos/ltl2tgba.cc:
    Adjust.
    b963af66
tgbabddconcretefactory.cc 3.8 KB