26 #include <spot/twa/fwd.hh>
27 #include <spot/misc/common.hh>
28 #include <spot/twaalgos/aiger.hh>
44 SPOT_API std::ostream&
45 print_dot(std::ostream& os,
46 const const_twa_ptr& g,
47 const char* options =
nullptr);
50 SPOT_API std::ostream &
51 print_dot(std::ostream &os, aig_ptr circuit,
const char * =
nullptr);
Definition: automata.hh:27