From 2f02911e1aa45b9df4b36c2db355e308f7e66132 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 24 Dec 2016 18:29:13 +0100 Subject: [PATCH] copy: improve documentation * spot/twaalgos/copy.hh: Make a reference to make_twa_graph(). --- spot/twaalgos/copy.hh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/spot/twaalgos/copy.hh b/spot/twaalgos/copy.hh index c718e3519..2ae4f90ad 100644 --- a/spot/twaalgos/copy.hh +++ b/spot/twaalgos/copy.hh @@ -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);