spot  1.1.4
Public Member Functions | Private Attributes | List of all members
spot::gspn_interface Class Reference

#include <gspn/gspn.hh>

Collaboration diagram for spot::gspn_interface:
Collaboration graph

Public Member Functions

 gspn_interface (int argc, char **argv, bdd_dict *dict, ltl::declarative_environment &env, const std::string &dead="true")
 
 ~gspn_interface ()
 
tgbaautomaton () const
 

Private Attributes

bdd_dictdict_
 
ltl::declarative_environmentenv_
 
const std::string dead_
 

Constructor & Destructor Documentation

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 ( )

Member Function Documentation

tgba* spot::gspn_interface::automaton ( ) const

Member Data Documentation

const std::string spot::gspn_interface::dead_
private
bdd_dict* spot::gspn_interface::dict_
private
ltl::declarative_environment& spot::gspn_interface::env_
private

The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:27 for spot by doxygen 1.8.4