#include <tgba/tgbaexplicit.hh>
Referenced by spot::explicit_graph< State, tgba >::~explicit_graph().