TωA on-the-fly algorithms

Classes
class	spot::state_product
	A state for twa_product. More...

Typedefs
typedef std::shared_ptr< const twa_product >	spot::const_twa_product_ptr
	Shared pointer to a const twa_product. More...
typedef std::shared_ptr< twa_product >	spot::twa_product_ptr
	Shared pointer to a mutable twa_product. More...

Detailed Description

Typedef Documentation

const_twa_product_ptr

typedef std::shared_ptr<const twa_product> spot::const_twa_product_ptr

#include <spot/twa/fwd.hh>

Shared pointer to a const twa_product.

twa_product_ptr

typedef std::shared_ptr<twa_product> spot::twa_product_ptr

#include <spot/twa/fwd.hh>

Shared pointer to a mutable twa_product.