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

* src/twaalgos/mask.hh: Cleanup comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-08-19 11:00:01 +02:00
parent 5f76f34607
commit c5541a2189
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/twaalgos/mask.hh
View file

@ -25,7 +25,7 @@ namespace spot
{ {
/// \brief Clone and mask an automaton. /// \brief Clone and mask an automaton.
/// ///
/// Copy the edge of the automaton \a old, into the automaton /// Copy the edges of automaton \a old, into automaton
/// \a cpy, creating new states at the same time. The argument \a /// \a cpy, creating new states at the same time. The argument \a
/// trans should behave as a function with the following prototype: /// trans should behave as a function with the following prototype:
/// <code> /// <code>
@ -33,7 +33,7 @@ namespace spot
/// unsigned dst) /// unsigned dst)
/// </code> /// </code>
/// It can modify either the condition or the acceptance sets of /// It can modify either the condition or the acceptance sets of
/// the edges. Set the condition to bddfalse to remove it /// the edges. Set the condition to bddfalse to remove the edge
/// (this will also remove the destination state and its descendants /// (this will also remove the destination state and its descendants
/// if they are not reachable by another edge). /// if they are not reachable by another edge).
/// \param init The optional new initial state. /// \param init The optional new initial state.
@ -84,7 +84,7 @@ namespace spot
/// \brief Copy an automaton and update each edge. /// \brief Copy an automaton and update each edge.
/// ///
/// Copy the states of the automaton \a old, into the automaton /// Copy the states of automaton \a old, into automaton
/// \a cpy. Each state in \a cpy will have the same id as the ones in \a old. /// \a cpy. Each state in \a cpy will have the same id as the ones in \a old.
/// The argument \a trans /// The argument \a trans
/// should behave as a function with the following prototype: /// should behave as a function with the following prototype:
@ -133,7 +133,7 @@ namespace spot
transform_copy(old, cpy, trans, old->get_init_state_number()); transform_copy(old, cpy, trans, old->get_init_state_number());
} }
/// \brief Remove all edges that are in some given acceptance sets. /// \brief Remove all edges that belong to some given acceptance sets.
SPOT_API SPOT_API
twa_graph_ptr mask_acc_sets(const const_twa_graph_ptr& in, twa_graph_ptr mask_acc_sets(const const_twa_graph_ptr& in,
acc_cond::mark_t to_remove); acc_cond::mark_t to_remove);