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

* taf-kit/src/cmd_r.cc (universal): Remove.

parent a8092940
2012-07-17 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* taf-kit/src/cmd_r.cc (universal): Remove.
2012-07-17 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2012-07-17 Alexandre Duret-Lutz <adl@lrde.epita.fr>
   
Fix parsing of rational numbers without denominator. Fix parsing of rational numbers without denominator.
......
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
// //
// Vaucanson, a generic library for finite state machines. // Vaucanson, a generic library for finite state machines.
// //
// Copyright (C) 2010, 2011 The Vaucanson Group. // Copyright (C) 2010, 2011, 2012 The Vaucanson Group.
// //
// This program is free software; you can redistribute it and/or // This program is free software; you can redistribute it and/or
// modify it under the terms of the GNU General Public License // modify it under the terms of the GNU General Public License
...@@ -73,14 +73,6 @@ are_equivalent_E_command(const arguments_t& args) ...@@ -73,14 +73,6 @@ are_equivalent_E_command(const arguments_t& args)
return !c; return !c;
}; };
static int
universal_command(const arguments_t& args)
{
g_res.keep(universal(get_aut(args, 1)));
return 0;
}
BEGIN_COMMAND_GROUP(r_commands, BEGIN_COMMAND_GROUP(r_commands,
"3. Algorithms for automata with weights in a field:"); "3. Algorithms for automata with weights in a field:");
COMMAND_ENTRY(reduce, Aut, Aut, COMMAND_ENTRY(reduce, Aut, Aut,
...@@ -89,6 +81,4 @@ COMMAND_ENTRY(are_equivalent, AutAut, Boolean, ...@@ -89,6 +81,4 @@ COMMAND_ENTRY(are_equivalent, AutAut, Boolean,
"Tell whether two automata realize the same series."); "Tell whether two automata realize the same series.");
COMMAND_ENTRY(are_equivalent_E, ExpExp, Boolean, COMMAND_ENTRY(are_equivalent_E, ExpExp, Boolean,
"Tell whether two expressions denote the same language."); "Tell whether two expressions denote the same language.");
COMMAND_ENTRY(universal, Aut, Aut,
"Build the universal automaton of an automaton.")
END_COMMAND_GROUP END_COMMAND_GROUP
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