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

copy: improve documentation

Browse source 
* spot/twaalgos/copy.hh: Make a reference to make_twa_graph().
This commit is contained in:
Alexandre Duret-Lutz 2016-12-24 18:29:13 +01:00
parent f5a76baa33
commit 2f02911e1a
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/copy.hh
View file

@ -31,7 +31,9 @@ namespace spot
/// \ingroup twa_misc
/// \brief Build an explicit automaton from all states of \a aut,
///
/// This works for using the abstract interface for automata
/// This works using the abstract interface for automata. If you
/// have a twa_graph that you want to copy, it is more efficient
/// to call make_twa_graph() instead.
SPOT_API twa_graph_ptr
copy(const const_twa_ptr& aut, twa::prop_set p,
bool preserve_names = false, unsigned max_states = -1U);