spot
0.8.3
|
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, bool double_inclusion=false, bool reversed_double_inclusion=false, bool no_decomp=false) |
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 , |
||
bool | double_inclusion = false , |
||
bool | reversed_double_inclusion = false , |
||
bool | no_decomp = false |
||
) |
couvreur99_check* spot::couvreur99_check_ssp_shy_semi | ( | const tgba * | ssp_automata | ) |