1. 26 Nov, 2012 17 commits
  2. 16 Nov, 2012 3 commits
    • Alexandre Duret-Lutz's avatar
      kratexp: generalize concat() to symmetric cases · 2ab81b32
      Alexandre Duret-Lutz authored
      The implicit concatenation, kratexpset::concat(), used to only deal
      with the case concat("(ab).a", "b") = "(ab).(ab)" needed while parsing
      LAW expressions.  This patches generalizes the code to handle
      concat("a" "b.(ab)") = "(ab).(ab)", and concat("(ab).a" "b.(ab)") =
      "(ab).(ab).(ab)" as well.
      
      * vcsn/core/rat/kratexpset.hxx: Implement the above cases, and explicitely
      restrict these to weightless products.
      * tests/unit/concat.cc, tests/unit/concat.chk: New files.
      * tests/unit/local.mk: Add them.
      2ab81b32
    • Alexandre Duret-Lutz's avatar
      kratexp: use context() instead of ctx() · 06ac80de
      Alexandre Duret-Lutz authored
      Most classes have a context() method.  kratexpset had both
      ctx() and context() doing the same thing.  abstract_kratexpset
      had only ctx().
      
      * vcsn/core/rat/kratexpset.hxx (ctx): Remove.
      * vcsn/core/rat/kratexpset.hh (ctx): Likewise.
      * vcsn/core/rat/abstract_kratexpset.hh (ctx): Rename as ...
      (context): ... this.
      06ac80de
    • Alexandre Duret-Lutz's avatar
      poly: rename assoc()/add_assoc() as set_weight()/add_weight() · 063288b1
      Alexandre Duret-Lutz authored
      At the same time, make sure that giving zero as weight is the same as
      removing the monomial.  Also add del_weight() and get_weight().
      
      * vcsn/weights/poly.hh (del_weight, get_weight): New methods.
      (assoc, add_assoc): Rename as ...
      (set_weight, add_weight): ... these, and call del_weight if the weight
      is zero.
      * vcsn/core/mutable_automaton.hh (entry_at): Bypass set_weight().
      * tests/unit/poly.cc: Add more tests.
      063288b1
  3. 13 Nov, 2012 5 commits
  4. 09 Nov, 2012 5 commits
  5. 31 Oct, 2012 9 commits
    • Akim Demaille's avatar
      dyn: implement dispatch for algorithms that require a specific kind · aa137af6
      Akim Demaille authored
      * vcsn/ctx/instantiate.hh (register_kind_functions): New overload.
      Announce de_bruijn and eval.
      (register_functions): Call it.
      * vcsn/ctx/char_b_lal.hh: Remove instantiation by hand for eval.
      * vcsn/ctx/char_z_lal.hh: Likewise.
      aa137af6
    • Akim Demaille's avatar
      formatting changes · 8c7555c1
      Akim Demaille authored
      8c7555c1
    • Akim Demaille's avatar
      tests: use vcsn-de-bruijn to check determinize · 047846ab
      Akim Demaille authored
      * tests/unit/determinize.cc: Move de-bruijn based tests...
      * tests/unit/determinize.chk: to here.
      047846ab
    • Akim Demaille's avatar
      de-bruijn: a dynamic version · 226d71d0
      Akim Demaille authored
      * vcsn/factory/de_bruijn.hh: Provide a dyn version.
      * NEWS.txt: Doc it.
      * vcsn/algos/dyn.hh, vcsn/ctx/char_b_lal.hh,
      * vcsn/ctx/instantiate.hh: Adjust.
      * lib/vcsn/algos/de_bruijn.cc: New.
      * lib/vcsn/local.mk: Adjust.
      * bin/vcsn-de-bruijn.cc: New.
      * bin/local.mk: Adjust.
      226d71d0
    • Akim Demaille's avatar
      char_b_lal: improve registering · f0982df5
      Akim Demaille authored
      * vcsn/ctx/char_b_lal.hh: here.
      f0982df5
    • Akim Demaille's avatar
      make_context, make_kratexpset: move into dyn · eded5b3b
      Akim Demaille authored
      They are always "abstract", but the old way.  Move then into dyn::
      
      * vcsn/algos/make-context.hh, lib/vcsn/algos/make-context.cc: Do it.
      * lib/vcsn/dot/driver.cc, lib/vcsn/dot/driver.hh,
      * lib/vcsn/rat/driver.cc, tests/rat/pprat.cc,
      * vcsn/algos/dyn.hh, vcsn/ctx/instantiate.hh:
      Adjust.
      eded5b3b
    • Akim Demaille's avatar
      headers: add missing ones · c5f07772
      Akim Demaille authored
      * lib/vcsn/algos/parse.cc, lib/vcsn/dot/parse.yy: here.
      c5f07772
    • Akim Demaille's avatar
      automaton: remove abstract_context() · e7759e8e
      Akim Demaille authored
      * vcsn/core/automaton.hh, vcsn/core/mutable_automaton.hh: from here.
      It does not seem to be useful (ATM?).
      * vcsn/algos/transpose.hh: Adjust.
      e7759e8e
    • Akim Demaille's avatar
      dyn::context. · 3806088f
      Akim Demaille authored
      * vcsn/ctx/ctx.hh (vcsn::ctx::abstract_context): Rename as...
      (vcsn::dyn::context): this.
      
      * NEWS.txt, lib/vcsn/algos/edit-automaton.cc,
      * lib/vcsn/algos/make-context.cc, lib/vcsn/algos/standard-of.cc,
      * lib/vcsn/algos/transpose.cc, lib/vcsn/rat/driver.cc,
      * lib/vcsn/rat/driver.hh, tests/rat/pprat.cc,
      * vcsn/algos/dyn.hh, vcsn/algos/edit-automaton.hh,
      * vcsn/algos/make-context.hh, vcsn/algos/standard_of.hh,
      * vcsn/algos/transpose.hh, vcsn/core/automaton.hh,
      * vcsn/core/mutable_automaton.hh, vcsn/ctx/fwd.hh:
      Adjust.
      3806088f
  6. 23 Oct, 2012 1 commit