alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

rename Doxygen groups

Browse source 
Automatic mass renaming.

* src/dstarparse/public.hh, src/hoaparse/public.hh,
src/kripke/fairkripke.hh, src/kripke/kripkeprint.hh,
src/tgba/bdddict.hh, src/tgba/tgba.hh, src/tgba/tgbamask.cc,
src/tgba/tgbamask.hh, src/tgba/tgbaproduct.hh, src/tgba/tgbaproxy.hh,
src/tgba/tgbasafracomplement.cc, src/tgba/tgbasafracomplement.hh,
src/tgbaalgos/are_isomorphic.hh, src/tgbaalgos/bfssteps.hh,
src/tgbaalgos/canonicalize.hh, src/tgbaalgos/degen.hh,
src/tgbaalgos/dotty.hh, src/tgbaalgos/dupexp.hh,
src/tgbaalgos/emptiness.hh, src/tgbaalgos/hoa.hh,
src/tgbaalgos/isdet.hh, src/tgbaalgos/isweakscc.hh,
src/tgbaalgos/lbtt.hh, src/tgbaalgos/ltl2taa.hh,
src/tgbaalgos/ltl2tgba_fm.hh, src/tgbaalgos/minimize.hh,
src/tgbaalgos/neverclaim.hh, src/tgbaalgos/postproc.hh,
src/tgbaalgos/powerset.hh, src/tgbaalgos/projrun.hh,
src/tgbaalgos/randomgraph.hh, src/tgbaalgos/reachiter.hh,
src/tgbaalgos/reducerun.hh, src/tgbaalgos/replayrun.hh,
src/tgbaalgos/simulation.hh, src/tgbaalgos/stats.hh,
src/tgbaalgos/stripacc.hh, src/tgbaalgos/translate.hh:
Rename all documention group starting with tgba_ as
group starting with twa_.
This commit is contained in:
Alexandre Duret-Lutz 2015-04-21 19:55:37 +02:00
parent 03f78ee85a
commit 8839f50a0f
38 changed files with 71 additions and 71 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/dstarparse/public.hh
View file

@ -30,7 +30,7 @@
namespace spot namespace spot
{ {
/// \addtogroup tgba_io /// \addtogroup twa_io
/// @{ /// @{
/// \brief A parse diagnostic with its location. /// \brief A parse diagnostic with its location.

2
src/hoaparse/public.hh
View file

@ -30,7 +30,7 @@
namespace spot namespace spot
{ {
/// \addtogroup tgba_io /// \addtogroup twa_io
/// @{ /// @{
#ifndef SWIG #ifndef SWIG

2
src/kripke/fairkripke.hh
View file

@ -23,7 +23,7 @@
#include "fwd.hh" #include "fwd.hh"
/// \addtogroup kripke Kripke Structures /// \addtogroup kripke Kripke Structures
/// \ingroup tgba /// \ingroup twa
namespace spot namespace spot
{ {

4
src/kripke/kripkeprint.hh
View file

@ -26,7 +26,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_io /// \ingroup twa_io
/// \brief Save the reachable part of Kripke structure in text format. /// \brief Save the reachable part of Kripke structure in text format.
/// ///
/// The states will be named with the value returned by the /// The states will be named with the value returned by the
@ -38,7 +38,7 @@ namespace spot
SPOT_API std::ostream& SPOT_API std::ostream&
kripke_save_reachable(std::ostream& os, const const_kripke_ptr& k); kripke_save_reachable(std::ostream& os, const const_kripke_ptr& k);
/// \ingroup tgba_io /// \ingroup twa_io
/// \brief Save the reachable part of Kripke structure in text format. /// \brief Save the reachable part of Kripke structure in text format.
/// ///
/// States will be renumbered with sequential number. This is much /// States will be renumbered with sequential number. This is much

2
src/tgba/bdddict.hh
View file

@ -36,7 +36,7 @@ namespace spot
/// \brief Private data for bdd_dict. /// \brief Private data for bdd_dict.
class bdd_dict_priv; class bdd_dict_priv;
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief Map BDD variables to formulae. /// \brief Map BDD variables to formulae.
/// ///
/// The BDD library uses integers to designate Boolean variables in /// The BDD library uses integers to designate Boolean variables in

50
src/tgba/tgba.hh
View file

@ -35,7 +35,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief Abstract class for states. /// \brief Abstract class for states.
class SPOT_API state class SPOT_API state
{ {
@ -100,7 +100,7 @@ namespace spot
} }
}; };
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief Strict Weak Ordering for \c state*. /// \brief Strict Weak Ordering for \c state*.
/// ///
/// This is meant to be used as a comparison functor for /// This is meant to be used as a comparison functor for
@ -122,7 +122,7 @@ namespace spot
} }
}; };
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief An Equivalence Relation for \c state*. /// \brief An Equivalence Relation for \c state*.
/// ///
/// This is meant to be used as a comparison functor for /// This is meant to be used as a comparison functor for
@ -145,7 +145,7 @@ namespace spot
} }
}; };
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \ingroup hash_funcs /// \ingroup hash_funcs
/// \brief Hash Function for \c state*. /// \brief Hash Function for \c state*.
/// ///
@ -173,7 +173,7 @@ namespace spot
state_ptr_hash, state_ptr_equal> state_set; state_ptr_hash, state_ptr_equal> state_set;
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief Render state pointers unique via a hash table. /// \brief Render state pointers unique via a hash table.
class SPOT_API state_unicity_table class SPOT_API state_unicity_table
{ {
@ -238,7 +238,7 @@ namespace spot
inline void shared_state_deleter(state* s) { s->destroy(); } inline void shared_state_deleter(state* s) { s->destroy(); }
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief Strict Weak Ordering for \c shared_state /// \brief Strict Weak Ordering for \c shared_state
/// (shared_ptr<const state*>). /// (shared_ptr<const state*>).
/// ///
@ -262,7 +262,7 @@ namespace spot
} }
}; };
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief An Equivalence Relation for \c shared_state /// \brief An Equivalence Relation for \c shared_state
/// (shared_ptr<const state*>). /// (shared_ptr<const state*>).
/// ///
@ -288,7 +288,7 @@ namespace spot
} }
}; };
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \ingroup hash_funcs /// \ingroup hash_funcs
/// \brief Hash Function for \c shared_state (shared_ptr<const state*>). /// \brief Hash Function for \c shared_state (shared_ptr<const state*>).
/// ///
@ -318,7 +318,7 @@ namespace spot
state_shared_ptr_hash, state_shared_ptr_hash,
state_shared_ptr_equal> shared_state_set; state_shared_ptr_equal> shared_state_set;
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief Iterate over the successors of a state. /// \brief Iterate over the successors of a state.
/// ///
/// This class provides the basic functionalities required to /// This class provides the basic functionalities required to
@ -441,10 +441,10 @@ namespace spot
/// algorithms that work on spot::twa are \ref tgba_algorithms /// algorithms that work on spot::twa are \ref tgba_algorithms
/// "listed separately". /// "listed separately".
/// \addtogroup tgba_essentials Essential TωA types /// \addtogroup twa_essentials Essential TωA types
/// \ingroup twa /// \ingroup twa
/// \ingroup tgba_essentials /// \ingroup twa_essentials
/// \brief A Transition-based ω-Automaton. /// \brief A Transition-based ω-Automaton.
/// ///
/// The acronym TωA stands for Transition-based ω-automaton. /// The acronym TωA stands for Transition-based ω-automaton.
@ -845,27 +845,27 @@ namespace spot
}; };
/// \addtogroup tgba_representation TGBA representations /// \addtogroup twa_representation TGBA representations
/// \ingroup twa /// \ingroup twa
/// \addtogroup tgba_algorithms TGBA algorithms /// \addtogroup twa_algorithms TGBA algorithms
/// \ingroup twa /// \ingroup twa
/// \addtogroup tgba_on_the_fly_algorithms TGBA on-the-fly algorithms /// \addtogroup twa_on_the_fly_algorithms TGBA on-the-fly algorithms
/// \ingroup tgba_algorithms /// \ingroup twa_algorithms
/// \addtogroup tgba_io Input/Output of TGBA /// \addtogroup twa_io Input/Output of TGBA
/// \ingroup tgba_algorithms /// \ingroup twa_algorithms
/// \addtogroup tgba_ltl Translating LTL formulae into TGBA /// \addtogroup twa_ltl Translating LTL formulae into TGBA
/// \ingroup tgba_algorithms /// \ingroup twa_algorithms
/// \addtogroup tgba_generic Algorithm patterns /// \addtogroup twa_generic Algorithm patterns
/// \ingroup tgba_algorithms /// \ingroup twa_algorithms
/// \addtogroup tgba_reduction TGBA simplifications /// \addtogroup twa_reduction TGBA simplifications
/// \ingroup tgba_algorithms /// \ingroup twa_algorithms
/// \addtogroup tgba_misc Miscellaneous algorithms on TGBA /// \addtogroup twa_misc Miscellaneous algorithms on TGBA
/// \ingroup tgba_algorithms /// \ingroup twa_algorithms
} }

2
src/tgba/tgbamask.cc
View file

@ -76,7 +76,7 @@ namespace spot
transitions::const_iterator it_; transitions::const_iterator it_;
}; };
/// \ingroup tgba_on_the_fly_algorithms /// \ingroup twa_on_the_fly_algorithms
/// \brief A masked TGBA (abstract). /// \brief A masked TGBA (abstract).
/// ///
/// Ignores some states from a TGBA. What state are preserved or /// Ignores some states from a TGBA. What state are preserved or

6
src/tgba/tgbamask.hh
View file

@ -25,7 +25,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_on_the_fly_algorithms /// \ingroup twa_on_the_fly_algorithms
/// \brief Mask a TGBA, keeping a given set of states. /// \brief Mask a TGBA, keeping a given set of states.
/// ///
/// Mask the TGBA \a to_mask, keeping only the /// Mask the TGBA \a to_mask, keeping only the
@ -36,7 +36,7 @@ namespace spot
const state_set& to_keep, const state_set& to_keep,
const state* init = 0); const state* init = 0);
/// \ingroup tgba_on_the_fly_algorithms /// \ingroup twa_on_the_fly_algorithms
/// \brief Mask a TGBA, rejecting a given set of states. /// \brief Mask a TGBA, rejecting a given set of states.
/// ///
/// Mask the TGBA \a to_mask, keeping only the states that are not /// Mask the TGBA \a to_mask, keeping only the states that are not
@ -48,7 +48,7 @@ namespace spot
const state* init = 0); const state* init = 0);
/// \ingroup tgba_on_the_fly_algorithms /// \ingroup twa_on_the_fly_algorithms
/// \brief Mask a TGBA, rejecting some acceptance set of transitions. /// \brief Mask a TGBA, rejecting some acceptance set of transitions.
/// ///
/// This will ignore all transitions that have the TO_IGNORE /// This will ignore all transitions that have the TO_IGNORE

2
src/tgba/tgbaproduct.hh
View file

@ -28,7 +28,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_on_the_fly_algorithms /// \ingroup twa_on_the_fly_algorithms
/// \brief A state for spot::twa_product. /// \brief A state for spot::twa_product.
/// ///
/// This state is in fact a pair of state: the state from the left /// This state is in fact a pair of state: the state from the left

2
src/tgba/tgbaproxy.hh
View file

@ -23,7 +23,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_on_the_fly_algorithms /// \ingroup twa_on_the_fly_algorithms
/// \brief A TGBA proxy. /// \brief A TGBA proxy.
/// ///
/// This implements a simple proxy to an existing /// This implements a simple proxy to an existing

4
src/tgba/tgbasafracomplement.cc
View file

@ -827,7 +827,7 @@ namespace spot
// state_complement // state_complement
/// States used by spot::tgba_safra_complement. /// States used by spot::tgba_safra_complement.
/// \ingroup tgba_representation /// \ingroup twa_representation
class state_complement : public state class state_complement : public state
{ {
public: public:
@ -954,7 +954,7 @@ namespace spot
} }
/// Successor iterators used by spot::tgba_safra_complement. /// Successor iterators used by spot::tgba_safra_complement.
/// \ingroup tgba_representation /// \ingroup twa_representation
class tgba_safra_complement_succ_iterator: public twa_succ_iterator class tgba_safra_complement_succ_iterator: public twa_succ_iterator
{ {
public: public:

2
src/tgba/tgbasafracomplement.hh
View file

@ -29,7 +29,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_on_the_fly_algorithms /// \ingroup twa_on_the_fly_algorithms
/// \brief Build a complemented automaton. /// \brief Build a complemented automaton.
/// ///
/// It creates an automaton that recognizes the /// It creates an automaton that recognizes the

2
src/tgbaalgos/are_isomorphic.hh
View file

@ -30,7 +30,7 @@ namespace spot
public: public:
isomorphism_checker(const const_twa_graph_ptr ref); isomorphism_checker(const const_twa_graph_ptr ref);
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Check whether an automaton is isomorphic to the one passed to /// \brief Check whether an automaton is isomorphic to the one passed to
/// the constructor. /// the constructor.
/// ///

2
src/tgbaalgos/bfssteps.hh
View file

@ -27,7 +27,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Make a BFS in a spot::tgba to compute a tgba_run::steps. /// \brief Make a BFS in a spot::tgba to compute a tgba_run::steps.
/// ///
/// This class should be used to compute the shortest path /// This class should be used to compute the shortest path

2
src/tgbaalgos/canonicalize.hh
View file

@ -23,7 +23,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Reorder the states and transitions of aut in a way that will be the /// \brief Reorder the states and transitions of aut in a way that will be the
/// same for every isomorphic automata. /// same for every isomorphic automata.
SPOT_API twa_graph_ptr canonicalize(twa_graph_ptr aut); SPOT_API twa_graph_ptr canonicalize(twa_graph_ptr aut);

2
src/tgbaalgos/degen.hh
View file

@ -23,7 +23,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Degeneralize a spot::tgba into an equivalent sba with /// \brief Degeneralize a spot::tgba into an equivalent sba with
/// only one acceptance condition. /// only one acceptance condition.
/// ///

2
src/tgbaalgos/dotty.hh
View file

@ -28,7 +28,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_io /// \ingroup twa_io
/// \brief Print reachable states in dot format. /// \brief Print reachable states in dot format.
/// ///
/// If \a assume_sba is set, this assumes that the automaton /// If \a assume_sba is set, this assumes that the automaton

4
src/tgbaalgos/dupexp.hh
View file

@ -29,12 +29,12 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Build an explicit automaton from all states of \a aut, /// \brief Build an explicit automaton from all states of \a aut,
/// numbering states in bread first order as they are processed. /// numbering states in bread first order as they are processed.
SPOT_API twa_graph_ptr SPOT_API twa_graph_ptr
tgba_dupexp_bfs(const const_twa_ptr& aut, twa::prop_set p); tgba_dupexp_bfs(const const_twa_ptr& aut, twa::prop_set p);
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Build an explicit automaton from all states of \a aut, /// \brief Build an explicit automaton from all states of \a aut,
/// numbering states in depth first order as they are processed. /// numbering states in depth first order as they are processed.
SPOT_API twa_graph_ptr SPOT_API twa_graph_ptr

4
src/tgbaalgos/emptiness.hh
View file

@ -37,7 +37,7 @@ namespace spot
typedef std::shared_ptr<const tgba_run> const_tgba_run_ptr; typedef std::shared_ptr<const tgba_run> const_tgba_run_ptr;
/// \addtogroup emptiness_check Emptiness-checks /// \addtogroup emptiness_check Emptiness-checks
/// \ingroup tgba_algorithms /// \ingroup twa_algorithms
/// ///
/// All emptiness-check algorithms follow the same interface. /// All emptiness-check algorithms follow the same interface.
/// Basically once you have constructed an instance of /// Basically once you have constructed an instance of
@ -258,7 +258,7 @@ namespace spot
/// \ingroup emptiness_check /// \ingroup emptiness_check
/// \addtogroup tgba_run TGBA runs and supporting functions /// \addtogroup twa_run TGBA runs and supporting functions
/// \ingroup emptiness_check /// \ingroup emptiness_check
/// @{ /// @{

2
src/tgbaalgos/hoa.hh
View file

@ -25,7 +25,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_io /// \ingroup twa_io
/// \brief Print reachable states in Hanoi Omega Automata format. /// \brief Print reachable states in Hanoi Omega Automata format.
/// ///
/// \param os The output stream to print on. /// \param os The output stream to print on.

2
src/tgbaalgos/isdet.hh
View file

@ -23,7 +23,7 @@
namespace spot namespace spot
{ {
/// \addtogroup tgba_misc /// \addtogroup twa_misc
/// @{ /// @{
/// \brief Count the number of non-deterministic states in \a aut. /// \brief Count the number of non-deterministic states in \a aut.

2
src/tgbaalgos/isweakscc.hh
View file

@ -23,7 +23,7 @@
namespace spot namespace spot
{ {
/// \addtogroup tgba_misc /// \addtogroup twa_misc
/// @{ /// @{
/// \brief Whether the SCC number \a scc in \a map is inherently /// \brief Whether the SCC number \a scc in \a map is inherently

2
src/tgbaalgos/lbtt.hh
View file

@ -27,7 +27,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_io /// \ingroup twa_io
/// \brief Print reachable states in LBTT's format. /// \brief Print reachable states in LBTT's format.
/// ///
/// \param g The automata to print. /// \param g The automata to print.

2
src/tgbaalgos/ltl2taa.hh
View file

@ -24,7 +24,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_ltl /// \ingroup twa_ltl
/// \brief Build a spot::taa* from an LTL formula. /// \brief Build a spot::taa* from an LTL formula.
/// ///
/// This is based on the following. /// This is based on the following.

2
src/tgbaalgos/ltl2tgba_fm.hh
View file

@ -29,7 +29,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_ltl /// \ingroup twa_ltl
/// \brief Build a spot::twa_graph_ptr from an LTL formula. /// \brief Build a spot::twa_graph_ptr from an LTL formula.
/// ///
/// This is based on the following paper. /// This is based on the following paper.

2
src/tgbaalgos/minimize.hh
View file

@ -24,7 +24,7 @@
namespace spot namespace spot
{ {
/// \addtogroup tgba_reduction /// \addtogroup twa_reduction
/// @{ /// @{
/// \brief Construct a minimal deterministic monitor. /// \brief Construct a minimal deterministic monitor.

2
src/tgbaalgos/neverclaim.hh
View file

@ -28,7 +28,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_io /// \ingroup twa_io
/// \brief Print reachable states in Spin never claim format. /// \brief Print reachable states in Spin never claim format.
/// ///
/// \param os The output stream to print on. /// \param os The output stream to print on.

2
src/tgbaalgos/postproc.hh
View file

@ -25,7 +25,7 @@ namespace spot
{ {
class option_map; class option_map;
/// \addtogroup tgba_reduction /// \addtogroup twa_reduction
/// @{ /// @{
/// \brief Wrap TGBA/BA/Monitor post-processing algorithms in an /// \brief Wrap TGBA/BA/Monitor post-processing algorithms in an

2
src/tgbaalgos/powerset.hh
View file

@ -42,7 +42,7 @@ namespace spot
}; };
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Build a deterministic automaton, ignoring acceptance conditions. /// \brief Build a deterministic automaton, ignoring acceptance conditions.
/// ///
/// This create a deterministic automaton that recognizes the /// This create a deterministic automaton that recognizes the

2
src/tgbaalgos/projrun.hh
View file

@ -31,7 +31,7 @@ namespace spot
{ {
struct tgba_run; struct tgba_run;
/// \ingroup tgba_run /// \ingroup twa_run
/// \brief Project a tgba_run on a tgba. /// \brief Project a tgba_run on a tgba.
/// ///
/// If a tgba_run has been generated on a product, or any other /// If a tgba_run has been generated on a product, or any other

2
src/tgbaalgos/randomgraph.hh
View file

@ -29,7 +29,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Construct a tgba randomly. /// \brief Construct a tgba randomly.
/// ///
/// \param n The number of states wanted in the automata (>0). All states /// \param n The number of states wanted in the automata (>0). All states

8
src/tgbaalgos/reachiter.hh
View file

@ -29,7 +29,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_generic /// \ingroup twa_generic
/// \brief Iterate over all reachable states of a spot::tgba. /// \brief Iterate over all reachable states of a spot::tgba.
class SPOT_API tgba_reachable_iterator class SPOT_API tgba_reachable_iterator
{ {
@ -95,7 +95,7 @@ namespace spot
seen_map seen; ///< States already seen. seen_map seen; ///< States already seen.
}; };
/// \ingroup tgba_generic /// \ingroup twa_generic
/// \brief An implementation of spot::tgba_reachable_iterator that browses /// \brief An implementation of spot::tgba_reachable_iterator that browses
/// states breadth first. /// states breadth first.
class SPOT_API tgba_reachable_iterator_breadth_first : class SPOT_API tgba_reachable_iterator_breadth_first :
@ -111,7 +111,7 @@ namespace spot
std::deque<const state*> todo; ///< A queue of states yet to explore. std::deque<const state*> todo; ///< A queue of states yet to explore.
}; };
/// \ingroup tgba_generic /// \ingroup twa_generic
/// \brief Iterate over all states of an automaton using a DFS. /// \brief Iterate over all states of an automaton using a DFS.
class SPOT_API tgba_reachable_iterator_depth_first class SPOT_API tgba_reachable_iterator_depth_first
{ {
@ -177,7 +177,7 @@ namespace spot
virtual void pop(); virtual void pop();
}; };
/// \ingroup tgba_generic /// \ingroup twa_generic
/// \brief Iterate over all states of an automaton using a DFS. /// \brief Iterate over all states of an automaton using a DFS.
/// ///
/// This variant also maintains a set of states that are on the DFS /// This variant also maintains a set of states that are on the DFS

2
src/tgbaalgos/reducerun.hh
View file

@ -28,7 +28,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_run /// \ingroup twa_run
/// \brief Reduce an accepting run. /// \brief Reduce an accepting run.
/// ///
/// Return a run which is accepting for \a a and that is no longer /// Return a run which is accepting for \a a and that is no longer

2
src/tgbaalgos/replayrun.hh
View file

@ -31,7 +31,7 @@ namespace spot
{ {
struct tgba_run; struct tgba_run;
/// \ingroup tgba_run /// \ingroup twa_run
/// \brief Replay a tgba_run on a tgba. /// \brief Replay a tgba_run on a tgba.
/// ///
/// This is similar to print_tgba_run(), except that the run is /// This is similar to print_tgba_run(), except that the run is

2
src/tgbaalgos/simulation.hh
View file

@ -24,7 +24,7 @@
namespace spot namespace spot
{ {
/// \addtogroup tgba_reduction /// \addtogroup twa_reduction
/// @{ /// @{
/// @{ /// @{

2
src/tgbaalgos/stats.hh
View file

@ -29,7 +29,7 @@
namespace spot namespace spot
{ {
/// \addtogroup tgba_misc /// \addtogroup twa_misc
/// @{ /// @{
struct SPOT_API tgba_statistics struct SPOT_API tgba_statistics

2
src/tgbaalgos/stripacc.hh
View file

@ -23,7 +23,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_misc /// \ingroup twa_misc
/// \brief Remove all acceptance sets from a twa_graph. /// \brief Remove all acceptance sets from a twa_graph.
/// ///
/// This is equivalent to marking all states/transitions as accepting. /// This is equivalent to marking all states/transitions as accepting.

2
src/tgbaalgos/translate.hh
View file

@ -24,7 +24,7 @@
namespace spot namespace spot
{ {
/// \ingroup tgba_ltl /// \ingroup twa_ltl
/// \brief Translate an LTL formula into an optimized spot::tgba. /// \brief Translate an LTL formula into an optimized spot::tgba.
/// ///
/// This class implements a three-step translation: /// This class implements a three-step translation: