spot::gspn_ssp_interface Class Reference
#include <gspn/ssp.hh>
List of all members.
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
The documentation for this class was generated from the following file: