Functions | |
couvreur99_check * | spot::couvreur99_check_ssp_semi (const tgba *ssp_automata) |
couvreur99_check * | spot::couvreur99_check_ssp_shy_semi (const tgba *ssp_automata) |
couvreur99_check * | spot::couvreur99_check_ssp_shy (const tgba *ssp_automata, bool stack_inclusion=true) |
couvreur99_check* spot::couvreur99_check_ssp_semi | ( | const tgba * | ssp_automata | ) |
couvreur99_check* spot::couvreur99_check_ssp_shy | ( | const tgba * | ssp_automata, | |
bool | stack_inclusion = true | |||
) |
couvreur99_check* spot::couvreur99_check_ssp_shy_semi | ( | const tgba * | ssp_automata | ) |