spot
1.0.2
|
#include <tgbaalgos/gtec/gtec.hh>
Public Member Functions | |
successor (bdd acc, const spot::state *s) |
Public Attributes | |
bdd | acc |
const spot::state * | s |
|
inline |
bdd spot::couvreur99_check_shy::successor::acc |
const spot::state* spot::couvreur99_check_shy::successor::s |