26 #include <spot/twaalgos/emptiness.hh>
51 const state* search(
const state* start, twa_run::steps& l);
69 virtual const state* filter(
const state* s) = 0;
Definition: emptiness.hh:377
Abstract class for states.
Definition: twa.hh:43
Make a BFS in a spot::tgba to compute a twa_run::steps.
Definition: bfssteps.hh:40
const_twa_ptr a_
The spot::tgba we are searching into.
Definition: bfssteps.hh:100
Strict Weak Ordering for state*.
Definition: twa.hh:120