Commit 877fa9e8 authored by Jérôme Galtier's avatar Jérôme Galtier
Browse files

Cleanup unwanted code and aesthetic changes.

* ChangeLog,
* src/demos/Makefile.am, src/demos/semantic_isomorphism/convert.cc,
* src/demos/semantic_isomorphism/main.cc,
* src/demos/semantic_isomorphism/semantic_isomorphism.tex
* src/demos/semantic_isomorphism/test_semantic_isomorphism.cc,
* include/vaucanson/algebra/implementation/letter/char_letter.hh,
* include/vaucanson/automata/generic_contexts/int_based_boolean_automaton.hh,
* include/vaucanson/automata/generic_contexts/int_based_boolean_automaton_structures.hh:
Aesthetic changes and cleanup.
* tools/pretty-printer/genetic.hxx, tools/pretty-printer/render.cc,
* tools/pretty-printer/vcsng.pro, tools/pretty-printer/xml2vcsng.xsl:
Remove layout algorithm as it is out of the Vaucanson bounds.
parent efe27990
2009-07-30 Jrme Galtier <jerome.galtier@lrde.epita.fr>
Cleanup unwanted code and aesthetic changes.
* ChangeLog,
* src/demos/Makefile.am, src/demos/semantic_isomorphism/convert.cc,
* src/demos/semantic_isomorphism/main.cc,
* src/demos/semantic_isomorphism/semantic_isomorphism.tex
* src/demos/semantic_isomorphism/test_semantic_isomorphism.cc,
* include/vaucanson/algebra/implementation/letter/char_letter.hh,
* include/vaucanson/automata/generic_contexts/int_based_boolean_automaton.hh,
* include/vaucanson/automata/generic_contexts/int_based_boolean_automaton_structures.hh:
Aesthetic changes and cleanup.
* tools/pretty-printer/genetic.hxx, tools/pretty-printer/render.cc,
* tools/pretty-printer/vcsng.pro, tools/pretty-printer/xml2vcsng.xsl:
Remove layout algorithm as it is out of the Vaucanson bounds.
2009-07-30 d-halluin <d-halluin@lrde.epita.fr>
 
Add implementation for initial & final states (9 functions).
......@@ -6530,246 +6547,160 @@ instances to them.
* src/demos/semantic_isomorph/test_semantic.cc: Remove.
* src/demos/semantic_isomorph/test_semantic_isomorphism.cc: New.
 
2008-07-31 Jerome Galtier <jerome.galtier@lrde.epita.fr>
Merge changes from trunk to branch.
Changesets: 2038,2039,2041,2042,2043,2044.
* include/Makefile.am,
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh,
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx,
* include/vaucanson/algorithms/backward_realtime.hh: Remove.
* include/vaucanson/algorithms/backward_realtime.hxx: Remove.
* include/vaucanson/algorithms/determinize.hh,
* include/vaucanson/algorithms/forward_realtime.hh: Remove.
* include/vaucanson/algorithms/forward_realtime.hxx: Remove.
* include/vaucanson/algorithms/is_deterministic.hh,
* include/vaucanson/algorithms/realtime.hh,
* include/vaucanson/algorithms/realtime.hxx,
* include/vaucanson/algorithms/realtime_decl.hh,
* lib/generate_libvcsn.rb,
* lib/krat_exp/libkrat_exp.mk,
* src/tests/include/tests/algebra/series/krat/main/krat_exp_expand_test.hh:
* Here.
2008-07-30 Florian Lesaint <florian.lesaint@lrde.epita.fr>
2008-07-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
 
Add an xml test on integer based boolean automata.
* src/tests/xml/Makefile.am: Add test to makefile.
* src/tests/xml/int_b_ref.xml: New.
Distribute the yy source of the krat_exp parser and run bison from
make if needed.
 
2008-07-30 Jerome Galtier <jerome.galtier@lrde.epita.fr>
* lib/krat_exp/libkrat_exp.mk: Rewrite using the same pattern
used to build parsers in Spot.
* boostrap: Do not run bison here.
 
Remove now useless escaped character mechanism from op_parse.
* include/vaucanson/algebra/implementation/letter/char_letter.hxx,
* include/vaucanson/algebra/implementation/letter/int_letter.hxx:
* Here.
2008-07-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
 
2008-07-30 Jerome Galtier <jerome.galtier@lrde.epita.fr>
Remove backward_realtime() and forward_realtime().
 
Fix missing include.
* include/vaucanson/algebra/concept/letter.hh: Here.
* include/vaucanson/algorithms/backward_realtime.hh,
include/vaucanson/algorithms/backward_realtime.hxx,
include/vaucanson/algorithms/forward_realtime.hh,
include/vaucanson/algorithms/forward_realtime.hxx: Delete these
obsolete files. They used to hold the implementation of the two
variants of the realtime() algorithm, but these have been
factored in realtime.hh on 2006-08-02.
* include/Makefile.am (nobase_include_HEADERS): Adjust.
* include/vaucanson/algorithms/realtime.hh: Adjust documentation.
* lib/generate_libvcsn.rb: Do not mention these files.
2008-07-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* include/vaucanson/algorithms/realtime.hh: Add more documentation.
* include/vaucanson/algorithms/realtime.hxx: Rename type as dir.
(do_realtime_here): Mention #121.
* include/vaucanson/algorithms/realtime_decl.hh: Add more
documentation.
 
2008-07-30 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
 
Fix sanity check.
* include/vaucanson/algebra/concept/letter.hh: Add default
* implementation.
* include/vaucanson/xml/builders.hxx: Add include.
* include/vaucanson/algorithms/is_deterministic.hh,
include/vaucanson/algorithms/determinize.hh: Add more documentation.
 
2008-07-30 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-30 Vivien Delmon <vivien.delmon@lrde.epita.fr>
 
Merge changes from trunk with vcsn-comp.
* ChangeLog,
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh,
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx,
* include/vaucanson/algorithms/complete.hh,
* include/vaucanson/contexts/automaton_maker.thh,
* include/vaucanson/contexts/automaton_maker.thxx,
* include/vaucanson/xml/XML.hh,
* include/vaucanson/xml/builders.hh,
* include/vaucanson/xml/builders.hxx,
* include/vaucanson/xml/handlers_base.hxx,
* include/vaucanson/xml/parsers.hxx,
* lib/krat_exp/krat_exp_bison.yy,
* src/tests/xml/b_ref.xml,
* src/tests/xml/geometry_ref.xml,
* src/tests/xml/z_max_plus_ref.xml,
* src/tests/xml/z_min_plus_ref.xml,
* src/tests/xml/z_ref.xml,
* taf-kit/src/Makefile.am,
* taf-kit/src/common.hh,
* taf-kit/src/edition_commands.hxx,
* taf-kit/src/getters.hh,
* taf-kit/src/getters.hxx,
* taf-kit/src/main.cc,
* taf-kit/src/parser_options.hh,
* taf-kit/src/parser_options.hxx,
* taf-kit/src/pipe_getters.hh,
* taf-kit/src/pipe_getters.hxx,
* taf-kit/src/predefined_alphabets.hh,
* taf-kit/src/tdc_commands.cc,
* taf-kit/tests/vcsn-b.test,
* taf-kit/tests/vcsn-z.test: Here.
Improve error handling and simplify token_representation loading.
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh:
Add default constructor to token_representation_t that
initialise with default token representations.
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx:
Simplify token_representation loading and error handling.
 
2008-07-30 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-30 Vivien Delmon <vivien.delmon@lrde.epita.fr>
 
Cleanup and fix int word parser.
* include/vaucanson/algebra/concept/freemonoid_base.hh: Cleanup.
* include/vaucanson/algebra/concept/word.hh: Remove.
* include/vaucanson/algebra/implementation/char_word.hh: Remove.
* include/vaucanson/algebra/implementation/char_word.hxx: Remove.
* include/vaucanson/algebra/implementation/free_monoid/str_words.hxx:
* Use parse_word.
* include/vaucanson/algebra/implementation/int_word.hh: Remove.
* include/vaucanson/algebra/implementation/int_word.hxx: Remove.
* include/vaucanson/algebra/implementation/letter/int_letter.hxx:
* Fix parser.
* include/vaucanson/contexts/char_letter.thh: Update.
* include/vaucanson/contexts/int_letter.thh: Update.
* include/vaucanson/misc/escaper.hxx: Use operator<<.
Fix tapping mistake in krat_exp_expand_test.
* src/tests/include/tests/algebra/series/krat/main/krat_exp_expand_test.hh:
Remove ')'.
 
2008-07-29 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-30 Florian Lesaint <florian.lesaint@lrde.epita.fr>
 
Cleanup letter implementations.
* include/Makefile.am: Add new file.
* include/vaucanson/algebra/concept/freemonoid_base.hxx: Make
* default op_parse a static error.
* include/vaucanson/algebra/implementation/char_letter.hh: Remove.
* include/vaucanson/algebra/implementation/char_letter.hxx: Remove.
* include/vaucanson/algebra/implementation/char_word.hh: Cleanup.
* include/vaucanson/algebra/implementation/int_letter.hh: Remove.
* include/vaucanson/algebra/implementation/int_letter.hxx: Remove.
* include/vaucanson/algebra/implementation/int_word.hh: Cleanup.
* include/vaucanson/algebra/implementation/letter/char_letter.hh:
* Cleanup and merge with current op_parse implementation.
* include/vaucanson/algebra/implementation/letter/char_letter.hxx: New.
* include/vaucanson/algebra/implementation/letter/int_letter.hh,
* include/vaucanson/algebra/implementation/letter/int_letter.hxx:
* Cleanup and merge with current op_parse implementation.
* include/vaucanson/contexts/char_letter.thh,
* include/vaucanson/contexts/int_letter.thh: Update implementation
* path.
* include/vaucanson/xml/builders.hxx: Fix input.
Enhance trick to avoid a warning in vcsn-tdc compilation.
* edition_commands.hxx: Here.
 
2008-07-29 Florian Lesaint <florian.lesaint@lrde.epita.fr>
2008-07-30 Florian Lesaint <florian.lesaint@lrde.epita.fr>
 
Update XML system to support integer alphabet.
* vaucanson/xml/builders.hxx: add get_monoid_gen_sort function.
Remove a warning when compiling vcsn-tdc.
The trick used to avoid the warning is really not nice,
but the code is not nice neither.
 
2008-07-29 Jerome Galtier <jerome.galtier@lrde.epita.fr>
This code doesn't seems right: ticket opened.
 
Improve add_letter_transition interface.
* include/vaucanson/algebra/implementation/int_letter.hxx,
* include/vaucanson/algebra/implementation/int_word.hxx: Complete
* implementation.
* include/vaucanson/automata/concept/automata_base.hh,
* include/vaucanson/automata/concept/automata_base.hxx: Enable call
* with literal representation.
Fix typo.
* edition_commands.hxx: Here.
 
2008-07-28 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-30 Vivien Delmon <vivien.delmon@lrde.epita.fr>
 
Add traits specialization for words.
* algebra/implementation/char_word.hh,
* algebra/implementation/char_word.hxx: New traits.
* algebra/implementation/int_word.hh,
* algebra/implementation/int_word.hxx: New traits.
* misc/escaper.hxx: Use correct type.
* xml/builders.hxx: Use literal mechanism.
Add error handling in krat_exp_parser.
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx:
Instead of being dump on stderr Lexer and Parser errors are
concatenated in a string that is returned by the parse function.
* lib/krat_exp/krat_exp_bison.yy:
Add parameter to the Bison generated parser to handle errors.
 
2008-07-28 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
 
Specialize hash_label for int.
* include/vaucanson/misc/hash.hh,
* include/vaucanson/misc/hash.hxx: Here.
Add tests and documentation for is-complete and friends. #147.
* include/vaucanson/algorithms/complete.hh: Update documentation.
* taf-kit/tests/vcsn-b.test, taf-kit/tests/vcsn-z.test: Add more tests.
 
2008-07-28 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-29 Jerome Galtier <jerome.galtier@lrde.epita.fr>
 
Add a generic context for int based boolean automata.
* generic_contexts/int_based_boolean_automaton.hh: New.
* generic_contexts/int_based_boolean_automaton_structures.hh: New.
Remove obsolete code from taf-kit.
* taf-kit/src/main.cc: Remove --epsilon and --null.
* taf-kit/src/predefined_alphabets.hh: Remove ALPHABET_AB.
 
2008-07-28 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-28 Vivien Delmon <vivien.delmon@lrde.epita.fr>
 
Make the interface of transducers more consistent with element.
* include/vaucanson/automata/concept/transducer_base.hh,
* include/vaucanson/automata/concept/transducer_base.hxx: Add
* template parameters.
* include/vaucanson/automata/concept/transducer_ops.hxx: Remove dead
* code.
Add some warnings to taf-kit.
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx: .
 
2008-07-28 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-28 Florian Lesaint <florian.lesaint@lrde.epita.fr>
 
Use escaper for words only.
* include/vaucanson/misc/escaper.hxx: Use literal traits.
* include/vaucanson/tools/dot_format.hh,
* include/vaucanson/tools/dot_format.hxx: New function to escape
* automaton names without using the escaper class.
2008-07-27 Jerome Galtier <jerome.galtier@lrde.epita.fr>
Add the word concept. Enable words of arbitrary letter type IO.
* include/vaucanson/algebra/concept/freemonoid_base.hh: Add depends
* to the word concept.
* include/vaucanson/algebra/concept/freemonoid_base.hxx: Use new io
* mechanism.
* include/vaucanson/algebra/concept/word.hh: New.
* include/vaucanson/algebra/implementation/char_word.hh: New.
* include/vaucanson/algebra/implementation/char_word.hxx: New.
* include/vaucanson/algebra/implementation/free_monoid/str_words.hh,
* include/vaucanson/algebra/implementation/free_monoid/str_words.hxx:
* Add op_convert overloads for literal representation types.
* include/vaucanson/algebra/implementation/int_letter.hh: New.
* include/vaucanson/algebra/implementation/int_letter.hxx: New.
* include/vaucanson/algebra/implementation/int_word.hh: New.
* include/vaucanson/algebra/implementation/int_word.hxx: New.
* include/vaucanson/contexts/char_letter.thh: Add depends to
* char_word.
* include/vaucanson/contexts/int_letter.thh: New.
Prepare XML input system to support pair context.
* builders.hh: Add monGenHandler.
* builders.hxx: Add monGenHandler.
 
2008-07-26 Jerome Galtier <jerome.galtier@lrde.epita.fr>
 
Make semantic_isomorph pass make check.
* include/vaucanson/algorithms/semantic_isomorph.hxx: Here.
 
2008-07-26 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-25 Jerome Galtier <jerome.galtier@lrde.epita.fr>
 
Update the letter concept.
* include/vaucanson/algebra/concept/alphabets_base.hh,
* include/vaucanson/algebra/concept/alphabets_base.hxx: We can
* insert from a literal representation or from a letter.
* include/vaucanson/algebra/concept/letter.hh: A letter has a
* representation on the std::string medium.
* include/vaucanson/algebra/implementation/char_letter.hh: New.
* include/vaucanson/algebra/implementation/char_letter.hxx: New.
* include/vaucanson/contexts/char_letter.thh: Use the char_letter
* implementation.
2008-07-23 Jerome Galtier <jerome.galtier@lrde.epita.fr>
Clean up some code and comments in rw_composition.
* include/vaucanson/algorithms/internal/evaluation.hh: Add
* documentation.
* include/vaucanson/algorithms/internal/evaluation.hxx: Move
* partial_evaluation from rw_composition.hxx here.
* include/vaucanson/algorithms/rw_composition.hh: More documentation.
* include/vaucanson/algorithms/rw_composition.hxx: Add even more
* comments.
Fix transducers handling by taf-kit.
* taf-kit/src/Makefile.am: Add two files to the distribution.
* taf-kit/src/main.cc: Parse --parser2 options.
 
2008-07-21 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-24 Vivien Delmon <vivien.delmon@lrde.epita.fr>
 
Fix the rw_composition algorithm.
* include/vaucanson/algorithms/internal/evaluation.hh,
* include/vaucanson/algorithms/internal/evaluation.hxx,
* include/vaucanson/algorithms/rw_composition.hxx: Here.
Adapt taf-kit to change the token representation.
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh:
Add missing const.
* taf-kit/src/common.hh: .
* taf-kit/src/edition_commands.hxx: .
* taf-kit/src/getters.hh: .
* taf-kit/src/getters.hxx: .
* taf-kit/src/main.cc: .
* taf-kit/src/parser_options.hh: .
* taf-kit/src/parser_options.hxx: .
* taf-kit/src/pipe_getters.hh: .
* taf-kit/src/pipe_getters.hxx: .
* taf-kit/src/tdc_commands.cc: .
 
2008-07-21 Jerome Galtier <jerome.galtier@lrde.epita.fr>
2008-07-24 Vivien Delmon <vivien.delmon@lrde.epita.fr>
Remove warning and rename token_representation.
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh: .
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx: .
* include/vaucanson/contexts/automaton_maker.thh: .
* include/vaucanson/contexts/automaton_maker.thxx: .
2008-07-24 Jerome Galtier <jerome.galtier@lrde.epita.fr>
Add a new option --parser to taf-kit.
* taf-kit/src/common.hh: Add attributes to args.
* taf-kit/src/getters.hh,
* taf-kit/src/getters.hxx: Improve get_alphabet.
* taf-kit/src/main.cc: Add new options, adapt existing ones.
* taf-kit/src/parser_options.hh,
* taf-kit/src/parser_options.hxx: New.
* taf-kit/src/predefined_alphabets.hh: Reintroduce ascii and
digits alphabets.
 
Add a new tool to pretty-print automata.
* tools/pretty-printer/genetic.hxx,
* tools/pretty-printer/render.cc,
* tools/pretty-printer/vcsng.pro,
* tools/pretty-printer/xml2vcsng.xsl,
* tools/pretty-printer: New.
2008-07-23 Vivien Delmon <vivien.delmon@lrde.epita.fr>
Add an interface to change the token representation.
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hh: .
* include/vaucanson/algebra/implementation/series/krat_exp_parser.hxx: .
* include/vaucanson/contexts/automaton_maker.thh: .
* include/vaucanson/contexts/automaton_maker.thxx: .
 
2008-07-21 Jerome Galtier <jerome.galtier@lrde.epita.fr>
 
......@@ -6787,28 +6718,30 @@ instances to them.
* include/vaucanson/algorithms/semantic_isomorph.hh: New.
* include/vaucanson/algorithms/semantic_isomorph.hxx: New.
 
2008-07-21 Jerome Galtier <jerome.galtier@lrde.epita.fr>
Make the new taf-kit --parser backward compatible.
* taf-kit/src/main.cc,
* taf-kit/src/common.hh: Fix a bug when constructing options string.
* taf-kit/src/getters.hh: Change function arguments causing a
compilation warning.
* taf-kit/src/parser_options.hh,
* taf-kit/src/parser_options.hxx: Improve the grammar and finish
design of the class.
* taf-kit/src/predefined_alphabets.hh: Colon is a special character.
2008-07-20 Jerome Galtier <jerome.galtier@lrde.epita.fr>
Create a new branch. Improve taf-kit command line parser.
* taf-kit/src/common.hh: Add attributes to args.
* taf-kit/src/getters.hxx: Improve get_alphabet.
* taf-kit/src/main.cc: Add new options, adapt existing ones.
* taf-kit/src/parser_options.hh: New.
* taf-kit/src/parser_options.hxx: New.
* taf-kit/src/predefined_alphabets.hh: Reintroduce ascii and
digits alphabets.
2008-07-21 Florian Lesaint <florian.lesaint@lrde.epita.fr>
Fix ErrorHandler in xml.
From Xerces documentation:
it is up to the application whether to throw an exception
for different types of errors and warnings. Note, however,
that there is no requirement that the parser continue to
provide useful information after a call to fatalError (in
other words, a SAX driver class could catch an exception
and report a fatalError).
We weren't throwing exception before.
* xml/XML.hh: Improve interface.
* xml/handlers_base.hxx: Update ErrorHandler.
* xml/parsers.hxx: Remove stupid hack.
2008-07-21 Florian Lesaint <florian.lesaint@lrde.epita.fr>
Fix xml test-suite.
Fix typo closing tag <fsmxml>
* b_ref.xml: here.
* geometry_ref.xml: here.
* z_max_plus_ref.xml: here.
* z_min_plus_ref.xml: here.
* z_ref.xml: here.
 
2008-07-18 Jerome Galtier <jerome.galtier@lrde.epita.fr>
 
......
......@@ -17,12 +17,7 @@
#ifndef VCSN_ALGEBRA_IMPLEMENTATION_LETTER_CHAR_LETTER_HH
# define VCSN_ALGEBRA_IMPLEMENTATION_LETTER_CHAR_LETTER_HH
# include <string>
# include <iostream>
# include <vaucanson/misc/contract.hh>
# include <vaucanson/algebra/concept/letter.hh>
# include <vaucanson/algebra/concept/freemonoid_base.hh>
namespace vcsn
{
......
// int_based_boolean_automaton.hh: this file is part of the Vaucanson project.
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2008 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
/*
* CPP guard should not be inserted here as
* VCSN_GRAPH_IMPL could be changed.
*/
# include GRAPH_CONTEXT_HEADER_(int_based_boolean_automaton_structures.hh)
# define VCSN_CONTEXT_NAMESPACE namespace int_based_boolean_automaton
# include <vaucanson/contexts/automaton_functions.thh>
# undef VCSN_CONTEXT_NAMESPACE
// int_based_boolean_automaton_structures.hh: this file is part of the Vaucanson project.
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2008 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
/*
* CPP guard should not be inserted here as
* VCSN_GRAPH_IMPL could be changed.
*/
# define VCSN_CONTEXT_NAMESPACE namespace int_based_boolean_automaton
# include <vaucanson/contexts/int_letter.thh>
# include <vaucanson/contexts/dynamic_alphabet.thh>
# include <vaucanson/contexts/free_monoid.thh>
# include <vaucanson/contexts/boolean_semiring.thh>
# include <vaucanson/contexts/generic_series.thh>
# include <vaucanson/contexts/generic_automaton_impl.thh>
# include <vaucanson/contexts/automaton.thh>
namespace vcsn
{
namespace VCSN_GRAPH_IMPL
{
VCSN_CONTEXT_NAMESPACE
{
AUTOMATON_FREEMONOID_TYPES_EXACT(automaton_t);
}
}
}
# include <vaucanson/contexts/automaton_maker.thh>
# undef VCSN_CONTEXT_NAMESPACE
......@@ -14,5 +14,5 @@
SUBDIRS = \
algorithms \
one_rule_rewriting \
vgrep \
semantic_isomorphism
semantic_isomorphism \
vgrep
......@@ -31,13 +31,13 @@ void read_graph(std::ifstream& in, vcsn::boolean_automaton::automaton_t& aut)
// For each node i ...
for (int i = 0; i < nodes; ++i)
{
{
// Read the number of edges coming out of node i
edges = read_word(in);
// For each edge out of node i...
for (int j = 0; j < edges; ++j)
{
{
// Read the destination node of the edge
target = read_word(in);
......
......@@ -87,8 +87,8 @@ int main(int argc, char *argv[])
TIMER_PRINT(out_log);
TIMER_EXPORT_DOT_VD(out_dot, vcsn::misc::timer::VERBOSE_MINIMAL);
out_dot.close ();
out_log.close ();
out_dot.close ();
out_log.close ();
return !ret;
}
......@@ -14,7 +14,7 @@
\newcommand{\isom}[1]{
\begin{figure}[htp]
\centering
\fbox{
\fbox{
\begin{minipage}{0.9\textwidth}
\centering
\begin{tikzpicture}[scale=1.75]
......
......@@ -31,7 +31,7 @@ inline std::string stringify(int x)
if (!(o << x))
throw BadConversion("stringify(int)");
return o.str();
}
}
int main()
{
......
// genetic.hxx: this file is part of the Vaucanson project.
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2008 The Vaucanson Group.
//
// This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License
// as published by the Free Software Foundation; either version 2
// of the License, or (at your option) any later version.
//
// The complete GNU General Public Licence Notice can be found as the
// `COPYING' file in the root directory.
//
// The Vaucanson Group consists of people listed in the `AUTHORS' file.
//
#ifndef GENETIC_HXX
# define GENETIC_HXX
# include <vector>
# include <list>
# include <utility>
# include <cstdlib>
// FIXME: refactor code (separate headers from implementation)
namespace genetic
{
/*!
* Implementation of a population with evolutionary behavior.
*
* @author Jerome Galtier <jerome.galtier@lrde.epita.fr>
*/
template <typename T>
class Population
{
public:
/*!
* Helper types.
*/
typedef unsigned char gene;
typedef std::vector<gene> chromosome;
typedef std::list<std::pair<chromosome, int> > soup;
typedef std::vector<std::pair<chromosome, int> > vsoup;
typedef std::pair<std::string, int> trait;
typedef std::vector<trait> phenotype;
/*!
* Iterator types.
*/
typedef typename soup::iterator piter;
typedef typename chromosome::iterator citer;