spot
0.8.1
|
#include <tgbaalgos/gtec/gtec.hh>
Public Member Functions | |
todo_item (const state *s, int n, couvreur99_check_shy *shy) | |
Public Attributes | |
const state * | s |
int | n |
succ_queue | q |
spot::couvreur99_check_shy::todo_item::todo_item | ( | const state * | s, |
int | n, | ||
couvreur99_check_shy * | shy | ||
) |