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


parent e5626208
......@@ -9,7 +9,7 @@
/// spot::ltl::formula.
/// \li spot::tgba Base class for Transition-based
/// Generalized Büchi Automaton.
/// \li spot::ltl_to_tgba Convert an spot::ltl::formula into a
/// \li spot::ltl_to_tgba Convert a spot::ltl::formula into a
/// spot::tgba.
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