spot::gspn_interface Class Reference

#include <gspn/gspn.hh>

Collaboration diagram for spot::gspn_interface:

[legend]List of all members.

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_

---

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

bdd_dict* spot::gspn_interface::dict_ [private]

ltl::declarative_environment& spot::gspn_interface::env_ [private]

const std::string spot::gspn_interface::dead_ [private]

---

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

• gspn/gspn.hh

---

Please comment this page and report errors about it on the RefDocComments page.