22#include <spot/twa/fwd.hh>
23#include <spot/misc/common.hh>
24#include <spot/twaalgos/aiger.hh>
40 SPOT_API std::ostream&
41 print_dot(std::ostream& os,
42 const const_twa_ptr& g,
43 const char* options =
nullptr);
46 SPOT_API std::ostream &
47 print_dot(std::ostream &os, aig_ptr circuit,
const char * =
nullptr);
Definition: automata.hh:26