Commit 4209920a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

write "Z automaton" instead of "Boolean automaton" in vcsn-*-fmp-z --help

parent ef1608c2
2008-09-15 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Make sure the help text of TAF-Kit does not mention
Boolean automata when Z automata are expected.
* taf-kit/src/Makefile.am (vcsn_char_fmp_b_CPPFLAGS,
vcsn_char_fmp_z_CPPFLAGS, vcsn_int_fmp_b_CPPFLAGS,
vcsn_int_fmp_z_CPPFLAGS): Specify IOAUT_NAME.
* taf-kit/src/fmp_commands.cc (command_map): Use IOAUT_NAME
in the help text for eval-aut and intersection. Simplify
the description of u_compose.
2008-09-13 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* include/vaucanson/algorithms/projection.hxx (do_identity): When
......
......@@ -71,6 +71,7 @@ vcsn_char_fmp_b_SOURCES = $(COMMON_SOURCES) \
vcsn_char_fmp_b_CPPFLAGS = $(AM_CPPFLAGS) \
-DCONTEXT=fmp_transducer -DWITH_TWO_ALPHABETS \
-DIOAUT_CONTEXT=boolean_automaton \
-DIOAUT_NAME='"Boolean"' \
-DRW_CONTEXT=boolean_transducer -DVCSN_USE_LIB
vcsn_char_fmp_b_LDADD = $(LDADD) \
$(top_builddir)/lib/libvcsn-fmp-tdc.la \
......@@ -82,6 +83,7 @@ vcsn_char_fmp_z_SOURCES = $(COMMON_SOURCES) \
vcsn_char_fmp_z_CPPFLAGS = $(AM_CPPFLAGS) \
-DCONTEXT=z_fmp_transducer -DWITH_TWO_ALPHABETS \
-DIOAUT_CONTEXT=z_automaton \
-DIOAUT_NAME='"Z"' \
-DRW_CONTEXT=z_transducer -DVCSN_USE_LIB \
-DWITH_WEIGHTS
vcsn_char_fmp_z_LDADD = $(LDADD) \
......@@ -115,6 +117,7 @@ vcsn_int_fmp_b_SOURCES = $(COMMON_SOURCES) \
vcsn_int_fmp_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_fmp_transducer \
-DNO_PREDEF_ALPHABETS -DWITH_TWO_ALPHABETS \
-DIOAUT_CONTEXT=int_boolean_automaton \
-DIOAUT_NAME='"Boolean"' \
-DRW_CONTEXT=int_boolean_transducer -DVCSN_USE_LIB
vcsn_int_fmp_b_LDADD = $(LDADD) \
$(top_builddir)/lib/libkrat_exp.la \
......@@ -126,6 +129,7 @@ vcsn_int_fmp_z_SOURCES = $(COMMON_SOURCES) \
vcsn_int_fmp_z_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_z_fmp_transducer \
-DNO_PREDEF_ALPHABETS -DWITH_TWO_ALPHABETS \
-DIOAUT_CONTEXT=int_z_automaton \
-DIOAUT_NAME='"Z"' \
-DRW_CONTEXT=int_z_transducer -DWITH_WEIGHTS \
-DVCSN_USE_LIB
vcsn_int_fmp_z_LDADD = $(LDADD) \
......
......@@ -173,7 +173,7 @@ const command_t command_map[] =
"Give the evaluation of `exp' against `aut'."),
COMMAND_ENTRY_CN (eval-aut, evaluation_fmp, AutAut,
"Evaluate the language described by the\n\t"
"Boolean automaton `aut2' on the transducer `aut1'."),
IOAUT_NAME " automaton `aut2' on the transducer `aut1'."),
COMMAND_ENTRY (image, Aut,
"Give an automaton that accepts all output produced by `aut'."),
// COMMAND_ENTRY (transpose, Aut,
......@@ -193,16 +193,17 @@ const command_t command_map[] =
COMMAND_ENTRY (compose, AutAut,
"Compose `aut1' and `aut2', two (sub-)normalized\n\ttransducers."),
COMMAND_ENTRY (u_compose, AutAut,
"Compose `aut1' and `aut2', two Boolean transducers,\n\t"
"preserve the number of path."),
"Compose `aut1' and `aut2', two transducers,\n\t"
"preserve the number of paths."),
#ifdef RW_CONTEXT
COMMAND_ENTRY (to_rw, Aut,
"Give the equivalent rational weight transducer of `aut'."),
#endif
COMMAND_ENTRY (invert, Aut, "Give the inverse of `aut'."),
COMMAND_ENTRY (intersection, Aut,
"Transform a Boolean automaton in a fmp transducer by\n\t"
"creating, for each word, a pair containing twice this word.")
"Transform a " IOAUT_NAME " automaton in a fmp "
"transducer by\n\tcreating, for each word, "
"a pair containing twice this word.")
),
{0, 0 ,0 ,0, 0}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment