Commit 2541527f authored by Jerome Galtier's avatar Jerome Galtier
Browse files

Revive the char-int context. Cleanup int-char.

	* configure.ac: Remove int-char wrapper.
	* doc/NEWS.txt: Update to reflect the current status of Vaucanson.
	* include/vaucanson/automata/generic_contexts/char_int_boolean_automaton.hh,
	* include/vaucanson/automata/generic_contexts/char_int_boolean_automaton_structures.hh,
	* include/vaucanson/contexts/char_int_letter.thh: Restore removed
	  files from patch [2234]. Update them to support projections.
	* include/Makefile.am,
	* lib/Makefile.am,
	* lib/generate_libvcsn.rb,
	* taf-kit/src/Makefile.am,
	* taf-kit/tests/Makefile.am: Revive the char-int context. Cleanup
	  any remainings of int-char.
	* taf-kit/tests/vcsn-char-int-b.test: Add a test to check for the
	  executable "vcsn-char-int-b" presence.
	* taf-kit/tests/vcsn-int-char-b.test: Remove.
parent 3c233c4f
2008-10-09 Jerome Galtier <jerome.galtier@lrde.epita.fr>
Revive the char-int context. Cleanup int-char.
* configure.ac: Remove int-char wrapper.
* doc/NEWS.txt: Update to reflect the current status of Vaucanson.
* include/vaucanson/automata/generic_contexts/char_int_boolean_automaton.hh,
* include/vaucanson/automata/generic_contexts/char_int_boolean_automaton_structures.hh,
* include/vaucanson/contexts/char_int_letter.thh: Restore removed
files from patch [2234]. Update them to support projections.
* include/Makefile.am,
* lib/Makefile.am,
* lib/generate_libvcsn.rb,
* taf-kit/src/Makefile.am,
* taf-kit/tests/Makefile.am: Revive the char-int context. Cleanup
any remainings of int-char.
* taf-kit/tests/vcsn-char-int-b.test: Add a test to check for the
executable "vcsn-char-int-b" presence.
* taf-kit/tests/vcsn-int-char-b.test: Remove.
2008-10-08 Reuben Thomas <rrt@sc3d.org>
 
Improve Debian package descriptions.
......
......@@ -225,7 +225,6 @@ VCSN_CONFIG_WRAPPER([vcsn-int-z])
VCSN_CONFIG_WRAPPER([vcsn-char-char-b])
VCSN_CONFIG_WRAPPER([vcsn-char-int-b])
VCSN_CONFIG_WRAPPER([vcsn-int-int-b])
VCSN_CONFIG_WRAPPER([vcsn-int-char-b])
......
......@@ -8,13 +8,17 @@ This document describes major updates to the Vaucanson_ project.
.. _Vaucanson: http://vaucanson.lrde.epita.fr
Vaucanson 1.x, October 6th, 2008
Vaucanson 1.x, October 9th, 2008
================================
- Demos
+ Remove function_library.
- TAF-Kit
+ Remove the ``vcsn-int-char-b`` instance.
Vaucanson 1.2.92, September 10th, 2008
======================================
......
......@@ -28,6 +28,7 @@ vaucanson/contexts/boolean_semiring.thh \
vaucanson/contexts/char_letter.thh \
vaucanson/contexts/int_letter.thh \
vaucanson/contexts/char_char_letter.thh \
vaucanson/contexts/char_int_letter.thh \
vaucanson/contexts/int_int_letter.thh \
vaucanson/contexts/dynamic_alphabet.thh \
vaucanson/contexts/free_monoid.thh \
......@@ -471,8 +472,10 @@ vaucanson/automata/generic_contexts/int_z_min_plus_automaton_structures.hh \
vaucanson/automata/generic_contexts/int_z_fmp_transducer.hh \
vaucanson/automata/generic_contexts/int_z_fmp_transducer_structures.hh \
vaucanson/automata/generic_contexts/char_char_boolean_automaton.hh \
vaucanson/automata/generic_contexts/char_int_boolean_automaton.hh \
vaucanson/automata/generic_contexts/int_int_boolean_automaton.hh \
vaucanson/automata/generic_contexts/char_char_boolean_automaton_structures.hh \
vaucanson/automata/generic_contexts/char_int_boolean_automaton_structures.hh \
vaucanson/automata/generic_contexts/int_int_boolean_automaton_structures.hh \
vaucanson/automata/implementation/automaton_view.hh \
vaucanson/automata/implementation/automaton_view.hxx \
......
// char_int_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_(char_int_boolean_automaton_structures.hh)
# define VCSN_CONTEXT_NAMESPACE namespace char_int_boolean_automaton
# include <vaucanson/contexts/automaton_functions.thh>
# undef VCSN_CONTEXT_NAMESPACE
// char_int_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 char_int_boolean_automaton
# include <vaucanson/contexts/char_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);
AUTOMATON_PROJECTION_TYPES();
}
}
}
# include <vaucanson/contexts/automaton_maker.thh>
# undef VCSN_CONTEXT_NAMESPACE
// -*- C++ -*-
// char_int_letter.thh: 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_CONTEXT_NAMESPACE could be changed.
*/
# include <utility>
# include <vaucanson/algebra/implementation/letter/couple_letter.hh>
namespace vcsn
{
namespace VCSN_GRAPH_IMPL
{
VCSN_CONTEXT_NAMESPACE
{
typedef std::pair<char, int> letter_t;
} // End of VCSN_CONTEXT_NAMESPACE.
} // End of VCSN_GRAPH_IMPL
} // End of namespace vcsn.
......@@ -33,6 +33,7 @@ include vcsn-z-tdc/libvcsn-z-tdc.mk
include vcsn-int-fmp-tdc/libvcsn-int-fmp-tdc.mk
include vcsn-int-z-fmp-tdc/libvcsn-int-z-fmp-tdc.mk
include vcsn-char-char-b/libvcsn-char-char-b.mk
include vcsn-char-int-b/libvcsn-char-int-b.mk
include vcsn-int-int-b/libvcsn-int-int-b.mk
maintainer-clean-local:
......@@ -50,6 +51,7 @@ maintainer-clean-local:
$(top_builddir)/lib/vcsn-int-fmp-tdc \
$(top_builddir)/lib/vcsn-tdc \
$(top_builddir)/lib/vcsn-char-char-b \
$(top_builddir)/lib/vcsn-char-int-b \
$(top_builddir)/lib/vcsn-int-int-b \
$(top_builddir)/lib/krat_exp
rm -rf $(top_srcdir)/lib/vcsn-b \
......@@ -66,6 +68,7 @@ maintainer-clean-local:
$(top_srcdir)/lib/vcsn-int-fmp-tdc \
$(top_srcdir)/lib/vcsn-tdc \
$(top_srcdir)/lib/vcsn-char-char-b \
$(top_srcdir)/lib/vcsn-char-int-b \
$(top_srcdir)/lib/vcsn-int-int-b \
$(top_srcdir)/lib/krat_exp
......@@ -30,6 +30,7 @@ vcsn = Hash[
"vcsn-int-z-fmp-tdc" => "int_z_fmp_transducer",
"vcsn-z-tdc" => "z_transducer",
"vcsn-char-char-b" => "char_char_boolean_automaton",
"vcsn-char-int-b" => "char_int_boolean_automaton",
"vcsn-int-int-b" => "int_int_boolean_automaton",
]
......@@ -51,7 +52,7 @@ def create?(type, file)
"vcsn-int-b" == type or "vcsn-int-z" == type or
"vcsn-z-max" == type or "vcsn-z-min" == type or
"vcsn-char-char-b" == type or "vcsn-char-int-b" == type or
"vcsn-int-int-b" == type or "vcsn-int-char-b" == type
"vcsn-int-int-b" == type
) and
file !~ /realtime_decl.hh/ and
file !~ /extension.hh/ and # transducer
......@@ -68,7 +69,7 @@ def create?(type, file)
file !~ /ltl_to_pair.hh/ and # FMP transducer
( # Pair letters only filters.
not ( "vcsn-char-char-b" == type or "vcsn-char-int-b" == type or
"vcsn-int-int-b" == type or "vcsn-int-char-b" == type
"vcsn-int-int-b" == type
) or
(
file !~ /berry_sethi.hh/ # algorithm not generic with letter_t
......
......@@ -19,7 +19,8 @@ AM_LDFLAGS += $(TERMLIBS)
bin_PROGRAMS = vcsn-char-b vcsn-char-z vcsn-char-fmp-b \
vcsn-int-b vcsn-int-z vcsn-int-fmp-b \
vcsn-int-fmp-z vcsn-char-fmp-z \
vcsn-char-char-b vcsn-int-int-b
vcsn-char-char-b vcsn-int-int-b \
vcsn-char-int-b
COMMON_SOURCES = commands.hh \
commands_macros.hh \
......@@ -148,6 +149,18 @@ vcsn_char_char_b_LDADD = $(LDADD) \
$(top_builddir)/lib/libkrat_exp.la \
$(top_builddir)/lib/libvcsn-char-char-b.la
vcsn_char_int_b_SOURCES = $(COMMON_SOURCES) \
ratexp_commands.hh \
common_automaton_commands.hh \
b_commands.cc
vcsn_char_int_b_CPPFLAGS = $(AM_CPPFLAGS) -DCONTEXT=char_int_boolean_automaton \
-DVCSN_USE_LIB \
-DFIRST_PROJECTION_CONTEXT=boolean_automaton \
-DSECOND_PROJECTION_CONTEXT=int_boolean_automaton
vcsn_char_int_b_LDADD = $(LDADD) \
$(top_builddir)/lib/libkrat_exp.la \
$(top_builddir)/lib/libvcsn-char-int-b.la
vcsn_int_int_b_SOURCES = $(COMMON_SOURCES) \
ratexp_commands.hh \
common_automaton_commands.hh \
......
......@@ -25,7 +25,6 @@ TESTS = \
vcsn-char-char-b.test \
vcsn-char-int-b.test \
vcsn-int-int-b.test \
vcsn-int-char-b.test \
completeness.test
XFAIL_TESTS = completeness.test
......@@ -60,8 +59,7 @@ check_SCRIPTS = \
vcsn-int-z \
vcsn-char-char-b \
vcsn-char-int-b \
vcsn-int-int-b \
vcsn-int-char-b
vcsn-int-int-b
distclean-local:
-rm -rf $(TESTS:.test=.dir)
......@@ -18,3 +18,6 @@
set -e
VCSN=vcsn-char-int-b
# Check for the executable existence.
$VCSN --usage
#! /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-char-b
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