#include <gspn/gspn.hh>
Public Member Functions | |
gspn_interface (int argc, char **argv, bdd_dict *dict, ltl::declarative_environment &env, const std::string &dead="true") | |
~gspn_interface () | |
tgba * | automaton () const |
Private Attributes | |
bdd_dict * | dict_ |
ltl::declarative_environment & | env_ |
const std::string | dead_ |
spot::gspn_interface::gspn_interface | ( | int | argc, | |
char ** | argv, | |||
bdd_dict * | dict, | |||
ltl::declarative_environment & | env, | |||
const std::string & | dead = "true" | |||
) |
spot::gspn_interface::~gspn_interface | ( | ) |
tgba* spot::gspn_interface::automaton | ( | ) | const |
const std::string spot::gspn_interface::dead_ [private] |
bdd_dict* spot::gspn_interface::dict_ [private] |