1. 09 Jul, 2003 1 commit
  2. 08 Jul, 2003 3 commits
  3. 07 Jul, 2003 7 commits
  4. 04 Jul, 2003 2 commits
  5. 03 Jul, 2003 2 commits
    • Alexandre Duret-Lutz's avatar
      * src/tgba/tgbaproduct.cc (tgba_product_succ_iterator::first): · 4432b238
      Alexandre Duret-Lutz authored
      Simplify, do not call next_non_false_() either side is done.
      4432b238
    • Alexandre Duret-Lutz's avatar
      * src/tgba/succiter.hh (tgba_succ_iterator::current_condition): · c09f646e
      Alexandre Duret-Lutz authored
      State that this is a boolean function.
      * src/tgba/succiterconcrete.hh
      (tgba_succ_iterator_concrete::trans_dest_,
      tgba_succ_iterator_concrete::trans_set_,
      tgba_succ_iterator_concrete::trans_set_left_,
      tgba_succ_iterator_concrete::neg_trans_set_): Remove.
      * src/tgba/succiterconcrete.cc
      (tgba_succ_iterator_concrete::tgba_succ_iterator_concrete,
      tgba_succ_iterator_concrete::first): Adjust to removed members.
      (tgba_succ_iterator_concrete::next): Simplify, transitions
      are no labelled by boolean functions, not only conjunctions.
      Suggested by Denis Poitrenaud.
      c09f646e
  6. 02 Jul, 2003 5 commits
    • Alexandre Duret-Lutz's avatar
      spacing · 3281b6e9
      Alexandre Duret-Lutz authored
      3281b6e9
    • Alexandre Duret-Lutz's avatar
      * src/tgba/tgbabddcoredata.hh (tgba_bdd_core_data::translate): New · 0fe98c6d
      Alexandre Duret-Lutz authored
      function.
      * src/tgba/tgbabddcoredata.cc (tgba_bdd_core_data::translate):
      Likewise.
      * src/tgba/tgbabddtranslatefactory.cc
      (tgba_bdd_translate_factory::tgba_bdd_translate_factory): Use
      tgba_bdd_core_data::translate.
      0fe98c6d
    • Alexandre Duret-Lutz's avatar
      * src/tgba/tgbabddcoredata.hh (tgba_bdd_core_data::nownext_set): · 2ea7cbe0
      Alexandre Duret-Lutz authored
      New attribute.
      * tgba/tgbabddcoredata.cc, tgba/tgbabddtranslatefactory.cc:
      Handle nownext_set.
      * src/tgba/succiterconcrete.cc
      (tgba_succ_iterator_concrete::next): Use nownext_set to simplify.
      2ea7cbe0
    • Alexandre Duret-Lutz's avatar
      typo · 2ed07475
      Alexandre Duret-Lutz authored
      2ed07475
    • Alexandre Duret-Lutz's avatar
      Rewrite tgba_succ_iterator_concrete::next for the fourth time · dfe74f31
      Alexandre Duret-Lutz authored
      (or is it the fifth?).
      
      * src/tgba/succiterconcrete.hh
      (tgba_succ_iterator_concrete::trans_dest_,
      tgba_succ_iterator_concrete::trans_set_,
      tgba_succ_iterator_concrete::trans_set_left_,
      tgba_succ_iterator_concrete::neg_trans_set_): New attributes.
      * src/tgba/succiterconcrete.cc
      (tgba_succ_iterator_concrete::tgba_succ_iterator_concrete): Initialize
      new members.
      (tgba_succ_iterator_concrete::first): Likewise.
      (tgba_succ_iterator_concrete::next): Rewrite.
      * tgba/tgbabddcoredata.hh (tgba_bdd_core_data::acc_set): New attribute.
      * tgba/tgbabddcoredata.cc, tgba/tgbabddtranslatefactory.cc:
      Handle acc_set.
      dfe74f31
  7. 01 Jul, 2003 1 commit
  8. 30 Jun, 2003 7 commits
    • Alexandre Duret-Lutz's avatar
    • Alexandre Duret-Lutz's avatar
      typo · cd8090d6
      Alexandre Duret-Lutz authored
      cd8090d6
    • Alexandre Duret-Lutz's avatar
      * doc/Doxyfile.in (HAVE_DOT): Set to YES to output · e5626208
      Alexandre Duret-Lutz authored
      collaboration diagrams.
      * doc/mainpage.dox: Typo.
      
      * src/tgba/state.hh (state::as_bdd): Delete.
      * src/tgba/tgbaproduct.hh (state_bdd_product): Inherit from state,
      not state_bdd.
      (state_bdd_product::state_bdd_product): Adjust.
      * src/tgba/tgbaproduct.cc (state_bdd_product::state_bdd_product):
      Adjust.
      
      * src/tgba/succiter.hh (tgba_bdd_succ_iterator::done):
      Mark as const.
      * src/tgba/succiterconcrete.cc
      (tgba_succ_iterator_concrete::done): Likewise.
      * src/tgba/succiterconcrete.hh
      (tgba_succ_iterator_concrete::done): Likewise.
      * src/tgba/tgbaexplicit.cc
      (tgba_explicit_succ_iterator::done): Likewise.
      * src/tgba/tgbaexplicit.hh
      (tgba_explicit_succ_iterator::done): Likewise.
      * src/tgba/tgbaproduct.cc
      (tgba_product_succ_iterator::done): Likewise.
      * src/tgba/tgbaproduct.hh
      (tgba_product_succ_iterator::done): Likewise.
      * src/tgba/tgbatranslateproxy.hh
      (tgba_translate_proxy_succ_iterator::done): Likewise.
      * src/tgba/tgbatranslateproxy.cc
      (tgba_translate_proxy_succ_iterator::done): Likewise.
      
      * src/tgba/succiterconcrete.cc
      (tgba_succ_iterator_concrete::next): Call bdd_satoneset
      on data_.varandnext_set.  The previous implementation
      was wrong for GFa.
      * src/tgba/tgbabddcoredata.hh: Declare varandnext_set.
      * src/tgba/tgbabddcoredata.cc: Handle varandnext_set.
      e5626208
    • Alexandre Duret-Lutz's avatar
      * doc/Doxygen.in: Enable LaTeX output. · b53d8aac
      Alexandre Duret-Lutz authored
      * doc/Makefile.am (spotref.pdf): New rule.
      (EXTRA_DIST): Add spotref.pdf.
      b53d8aac
    • Alexandre Duret-Lutz's avatar
      * src/tgba/tgbabddconcretefactory.cc: · 12f66a3b
      Alexandre Duret-Lutz authored
      (tgba_bdd_concrete_factory::tgba_bdd_concrete_factory): New.
      (tgba_bdd_concrete_factory::create_state): Update now_to_next_.
      (tgba_bdd_concrete_factory::finish): Constraint Next variables
      in the relation.
      * src/tgba/tgbabddconcretefactory.hh
      (tgba_bdd_concrete_factory::now_to_next_): New variable.
      12f66a3b
    • Alexandre Duret-Lutz's avatar
      * src/tgba/tgbabddconcretefactory.cc: · cf136e84
      Alexandre Duret-Lutz authored
      (tgba_bdd_concrete_factory::tgba_bdd_concrete_factory): New.
      (tgba_bdd_concrete_factory::create_state): Update now_to_next_.
      (tgba_bdd_concrete_factory::finish): Constraint Next variables
      in the relation.
      * src/tgba/tgbabddconcretefactory.hh
      (tgba_bdd_concrete_factory::now_to_next_): New variable.
      cf136e84
    • Alexandre Duret-Lutz's avatar
      more files to ignore · 6f2f4d02
      Alexandre Duret-Lutz authored
      6f2f4d02
  9. 28 Jun, 2003 1 commit
    • Alexandre Duret-Lutz's avatar
      Fix errors reported by ICC. · 692f78d6
      Alexandre Duret-Lutz authored
      * src/tgba/state.hh (state_ptr_less_than::operator()): Make it const.
      * src/tgba/tgbaproduct.cc: Include string.hh.
      * src/ltlast/multop.hh (multop::add, multop::add_sorted): Do
      not use qualified names in declarations.
      * m4/gccwarn.m4 (CF_GXX_WARNINGS): Fix GXX test.
      * src/ltlenv/defaultenv.hh, src/ltlenv/defaultenv.cc,
      src/ltlenv/environment.hh: Add virtual destructors.
      692f78d6
  10. 26 Jun, 2003 11 commits
    • Alexandre Duret-Lutz's avatar
      59c145a8
    • Alexandre Duret-Lutz's avatar
      d874332e
    • Alexandre Duret-Lutz's avatar
      d852f2c8
    • Alexandre Duret-Lutz's avatar
      * INSTALL: New file. · 3d129932
      Alexandre Duret-Lutz authored
      3d129932
    • Alexandre Duret-Lutz's avatar
      * src/tgba/ltl2tgba.hh, src/tgba/ltl2tgba.cc: Move ... · 7fdd7861
      Alexandre Duret-Lutz authored
      * src/tgbaalgos/ltl2tgba.hh, src/tgbaalgos/ltl2tgba.cc: ... here.
      * src/tgba/Makefile.am, src/tgbaalgos/Makefile.am: Adjust.
      * src/tgba/public.hh: Do not include ltl2tgba.hh.
      * src/tgbatests/explprod.cc, src/tgbatests/ltl2tgba.cc,
      src/tgbatests/ltlprod.cc, src/tgbatests/mixprod.cc,
      src/tgbatests/reach.cc, src/tgbatests/tripprod.cc: Adjust inclusions.
      7fdd7861
    • Alexandre Duret-Lutz's avatar
      * src/tgba/tgbabddcoredata.hh: Fix some Doxygen comments. · f4629246
      Alexandre Duret-Lutz authored
      * src/ltlast/formula.hh: More Doxygen comments.
      * src/tgba/tgba.hh: Use <tt> in Doxygen comments.
      f4629246
    • Alexandre Duret-Lutz's avatar
      * doc/mainpage.dox: New file. · ecda9e26
      Alexandre Duret-Lutz authored
      * doc/Makefile.am (EXTRA_DIST): Add mainpage.dox.
      * doc/Doxyfile.in (INPUT): Add @srcdir@/mainpage.dox
      ecda9e26
    • Alexandre Duret-Lutz's avatar
      * src/tgba/succiter.hh: Adjust comments about promises to · 8e3a24ad
      Alexandre Duret-Lutz authored
      refer to accepting conditions.
      * src/tgba/tgbabddconcretefactory.hh: Likewise.
      * src/tgba/tgbabddcoredata.hh: Likewise.
      * src/tgba/dictunion.cc: Likewise.
      * src/tgba/tgba.hh: Likewise.
      8e3a24ad
    • Alexandre Duret-Lutz's avatar
      * doc/Makefile.am (doc): Typo. · 0b3d2c13
      Alexandre Duret-Lutz authored
      * src/ltlvisit/tostring.hh (to_string): Add doxygen comments.
      * src/ltlast/multop.hh (multop::paircmp): Add doxygen comments.
      * src/tgba/tgbaexplicit.hh (tgba_explicit::transtion,
      state_explicit, tgba_explicit_succ_iterator): Add doxygen comments.
      * src/ltlvisit/postfix.hh: Typo.
      0b3d2c13
    • Alexandre Duret-Lutz's avatar
      * doc/Makefile.am (doc): Typo. · 483507f1
      Alexandre Duret-Lutz authored
      * src/ltlvisit/tostring.hh (to_string): Add doxygen comments.
      * src/ltlast/multop.hh (multop::paircmp): Add doxygen comments.
      * src/ltlvisit/postfix.hh: Typo.
      483507f1
    • Alexandre Duret-Lutz's avatar
      * src/ltlast/Makefile.am (ltlastdir, ltlast_HEADERS): New variables. · 05f72410
      Alexandre Duret-Lutz authored
      (libltlast_la_SOURCES): Move all headers to ltlast_HEADERS.
      * src/ltlenv/Makefile.am (ltlenvdir, ltlenv_HEADERS): New variables.
      (libltlenv_la_SOURCES): Move all headers to ltlenv_HEADERS.
      * src/ltlparse/Makefile.am (ltlparsedir, ltlparse_HEADERS): New
      variables.
      (libltlparse_la_SOURCES): Move all public headers to ltlparse_HEADERS.
      * src/ltlvisit/Makefile.am (ltlvisitdir, ltlvisit_HEADERS): New
      variables.
      (libltlvisit_la_SOURCES): Move all headers to ltlparse_HEADERS.
      * src/misc/Makefile.am (include_HEADERS): Rename as ..
      (misc_HEADERS): ... this.
      (miscdir): New variable.
      * src/tgba/Makefile.am (tgbadir, tgba_HEADERS): New variables.
      (libtgba_la_SOURCES): Move all headers to tgba_HEADERS.
      * src/tgbaalgos/Makefile.am (tgbaalgosdir, tgbaalgos_HEADERS):
      New variables.
      (libtgbaalgos_la_SOURCES): Move all headers to tgbaalgos_HEADERS.
      * src/tgbaparse/Makefile.am (tgbaparsedir, tgbaparse_HEADERS): New
      variables.
      (libtgbaparse_la_SOURCES): Move all public headers to
      tgbaparse_HEADERS.
      * src/tgbaparse/public.hh: Include ltlparse/location.hh, not
      location.hh.
      05f72410