spot
0.8.3
|
#include <gspn/ssp.hh>
Public Member Functions | |
gspn_ssp_interface (int argc, char **argv, bdd_dict *dict, const ltl::declarative_environment &env, bool inclusion=false, bool doublehash=true, bool pushfront=false) | |
~gspn_ssp_interface () | |
tgba * | automaton (const tgba *operand) const |
Private Attributes | |
bdd_dict * | dict_ |
const ltl::declarative_environment & | env_ |
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 |
||
) |
tgba* spot::gspn_ssp_interface::automaton | ( | const tgba * | operand | ) | const |
bdd_dict* spot::gspn_ssp_interface::dict_ [private] |
const ltl::declarative_environment& spot::gspn_ssp_interface::env_ [private] |