Skip to content
  • Jérôme Galtier's avatar
    Improve the specifications coverage. · cc105970
    Jérôme Galtier authored
    * include/vaucanson/algorithms/complement.hxx (complement_here): Use
    new_set_final instead of set_final.
    * include/vaucanson/algorithms/complete.hxx (do_complete_here): Use
    new_set_initial instead of set_initial.
    * include/vaucanson/algorithms/determinize.hxx
    (do_subset_construction): Use new_set_intial (resp. set_initial) instead of
    new_set_final (resp. set_final).
    * include/vaucanson/automata/concept/automata_base.hh (set_initial)
    (set_final): Remove.
    (new_add_transition): New method.
    (new_add_transition, new_add_to_transition, new_set_transition)
    (new_set_initial, new_set_final): Remove default arguments, and add
    overloaded functions, because we do not know the dynamic value of an
    automaton at compile time.
    (new_set_initial, new_set_final): Rename the overloaded versions for
    entries to new_set_initial_entry and new_set_final_entry to prevent
    ambiguous calls.
    * include/vaucanson/automata/concept/automata_base.hxx (set_initial)
    (set_final): Remove the implementation.
    (unset_initial, unset_final): Use op_new_set_initial and
    op_new_set_final.
    (new_add_transition, new_add_to_transition, new_set_transition)
    (new_set_initial, new_set_final): Compute the default arguments for
    overloaded methods.
    * include/vaucanson/automata/implementation/automata_impl.hh,
    include/vaucanson/automata/implementation/automata_impl.hxx
    (VertexToLabel::set): Remove.
    * include/vaucanson/automata/implementation/automata_ops.hh
    (op_set_initial, op_set_final): Remove.
    Add overloaded operators for new methods from automata_base.hh.
    * include/vaucanson/automata/implementation/automata_ops.hxx
    (op_convert): Disable.
    Add overloaded operators implementations for new methods from
    automata_base.hh. Fix the calculation of the zero element.
    * include/vaucanson/automata/implementation/iterators/transition_iterator.hxx
    (TransitionIterator<>::op_weight),
    include/vaucanson/automata/implementation/iterators/rdelta_transition_iterator.hxx
    (RDeltaTransitionIterator<>::op_weight): Use the underlying graph
    method weight_of to access the weight.
    cc105970
To find the state of this project's repository at the time of any of these versions, check out the tags.