21#include <spot/twa/twagraph.hh>
35 SPOT_API twa_graph_ptr
complete(
const const_twa_ptr& aut);
Definition: automata.hh:26
void complete_here(twa_graph_ptr aut)
Complete a twa_graph in place.
twa_graph_ptr complete(const const_twa_ptr &aut)
Clone a twa and complete it.