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

Create vcsn-int-fmp

parent 4fed37bb
2008-08-05 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Create vcsn-int-fmp.
* taf-kit/src/Makefile.am: Build vcsn-int-fmp.
* configure.ac: Output taf-kit/tests/vcsn-int-fmp.
* doc/manual/taf-kit.tex (chapter{The \Vauc toolkit}): Mention
vcsn-int-fmp.
* taf-kit/tests/vcsn-int-fmp.test: New file.
* taf-kit/tests/Makefile.am: Adjust.
2008-08-05 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* taf-kit/src/Makefile.am (vcsn_char_fmp_CPPFLAGS): Define
......
......@@ -211,6 +211,7 @@ VCSN_CONFIG_WRAPPER([vcsn-char-b])
VCSN_CONFIG_WRAPPER([vcsn-char-fmp])
VCSN_CONFIG_WRAPPER([vcsn-char-z])
VCSN_CONFIG_WRAPPER([vcsn-int-b])
VCSN_CONFIG_WRAPPER([vcsn-int-fmp])
VCSN_CONFIG_WRAPPER([vcsn-int-z])
......
......@@ -15,10 +15,12 @@ with classical automata and is described in \autoref{sec:vcsn-char-b}.
A variant of this program called \command{vcsn-int-b} handles Boolean
automata whose letters are integers.
\autoref{sec:vcsn-char-fmp} describes the program \command{vcsn-char-fmp} which
allows to compute with transducers, that is, automata whose
transitions are labeled by pair of words, which are elements of a
\emph{product of free monoids}, hence the name.
\autoref{sec:vcsn-char-fmp} describes the program
\command{vcsn-char-fmp} which allows to compute with transducers, that
is, automata whose transitions are labeled by pair of words, which are
elements of a \emph{product of free monoids}, hence the name. A
variant of this program called \command{vcsn-int-fmp} handles
transducers whose letters are integers.
In \autoref{sec:vcsn-char-z} we consider the programs of the \tafkit
that compute with automata over a free monoid and with multiplicity,
......
......@@ -17,7 +17,7 @@ AM_CPPFLAGS += $(CXXFLAGS_OPTIMIZE)
AM_LDFLAGS = $(TERMLIBS)
bin_PROGRAMS = vcsn-char-b vcsn-char-z vcsn-char-fmp \
vcsn-int-b vcsn-int-z
vcsn-int-b vcsn-int-z vcsn-int-fmp
COMMON_SOURCES = commands.hh \
commands_macros.hh \
......@@ -91,6 +91,13 @@ vcsn_int_z_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_z_automaton \
vcsn_int_z_LDADD = $(LDADD) \
$(top_builddir)/lib/libkrat_exp.la
vcsn_int_fmp_SOURCES = $(COMMON_SOURCES) fmp_commands.cc
vcsn_int_fmp_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=int_fmp_transducer \
-DNO_PREDEF_ALPHABETS -DWITH_TWO_ALPHABETS \
-DIOAUT_CONTEXT=int_boolean_automaton
vcsn_int_fmp_LDADD = $(LDADD) \
$(top_builddir)/lib/libkrat_exp.la
## ------ ##
## argp. ##
......
......@@ -19,6 +19,7 @@ TESTS = \
vcsn-char-fmp.test \
vcsn-int-b.test \
vcsn-int-z.test \
vcsn-int-fmp.test \
completeness.test
XFAIL_TESTS = completeness.test
......@@ -47,6 +48,7 @@ check_SCRIPTS = \
vcsn-char-fmp \
vcsn-char-z \
vcsn-int-b \
vcsn-int-fmp \
vcsn-int-z
distclean-local:
......
#! /bin/sh
# 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.
. ./defs || exit 1
set -e
VCSN=vcsn-int-fmp
# FIXME: For some reason the output of intersection is bogus. The
# second line will have to be adjusted.
$VCSN intersection $int_b > int-b-b.xml
$VCSN eval --parser1='ONE=e ZERO=O' --alphabet1='10,11' int-b-b.xml 11
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