#include <gspn/ssp.hh>
Constructor & Destructor Documentation
spot::gspn_ssp_interface::gspn_ssp_interface |
( |
int |
argc, |
|
|
char ** |
argv, |
|
|
bdd_dict * |
dict, |
|
|
const ltl::declarative_environment & |
env, |
|
|
bool |
inclusion = false , |
|
|
bool |
doublehash = true , |
|
|
bool |
pushfront = false |
|
) |
| |
spot::gspn_ssp_interface::~gspn_ssp_interface |
( |
| ) |
|
Member Function Documentation
tgba* spot::gspn_ssp_interface::automaton |
( |
const tgba * |
operand | ) |
const |
Member Data Documentation
bdd_dict* spot::gspn_ssp_interface::dict_ |
|
private |
The documentation for this class was generated from the following file: