23 #ifndef SPOT_TGBAALGOS_BFSSTEPS_HH
24 # define SPOT_TGBAALGOS_BFSSTEPS_HH
27 #include "tgba/state.hh"
28 #include "emptiness.hh"
53 const state* search(
const state* start, tgba_run::steps& l);
71 virtual const state* filter(
const state* s) = 0;
108 #endif // SPOT_TGBAALGOS_BFSSTEPS_HH
const tgba * a_
The spot::tgba we are searching into.
Definition: bfssteps.hh:102
Abstract class for states.
Definition: state.hh:40
Make a BFS in a spot::tgba to compute a tgba_run::steps.
Definition: bfssteps.hh:42
A Transition-based Generalized Büchi Automaton.
Definition: tgba.hh:67
Definition: emptiness.hh:256
Strict Weak Ordering for state*.
Definition: state.hh:115