#include <eesrg.hh>
Collaboration diagram for spot::gspn_eesrg_interface:
Public Member Functions | |
gspn_eesrg_interface (int argc, char **argv, bdd_dict *dict, const gspn_environment &env) | |
~gspn_eesrg_interface () | |
tgba * | automaton (const tgba *operand) const |
Private Attributes | |
bdd_dict * | dict_ |
const gspn_environment & | env_ |
|
|
|
|
|
|
|
|
|
|