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

Make pair_to_fmp() available in FMP contexts.

* include/vaucanson/contexts/fmp_transducer_functions.thh:
include pair_to_fmp.hh.
parent 88b29e2c
2009-06-05 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Make pair_to_fmp() available in FMP contexts.
* include/vaucanson/contexts/fmp_transducer_functions.thh:
include pair_to_fmp.hh.
2009-06-05 Alexandre Duret-Lutz <adl@lrde.epita.fr>
 
Make mute_ltl_to_pair<S,T>::make_automaton available.
......
......@@ -3,7 +3,7 @@
//
// Vaucanson, a generic library for finite state machines.
//
// Copyright (C) 2005, 2006, 2008 The Vaucanson Group.
// Copyright (C) 2005, 2006, 2008, 2009 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
......@@ -36,6 +36,7 @@
#include <vaucanson/algorithms/is_ltl.hh>
#include <vaucanson/algorithms/ltl_to_pair.hh>
#include <vaucanson/algorithms/normalized_composition.hh>
#include <vaucanson/algorithms/pair_to_fmp.hh>
#include <vaucanson/algorithms/projection.hh>
#include <vaucanson/algorithms/sub_normalize.hh>
#include <vaucanson/algorithms/transpose.hh>
Markdown is supported
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