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