spot  1.0
Public Member Functions | Static Public Member Functions | List of all members
spot::explicit_conf< graph, Type > Class Template Reference

#include <tgba/tgbaexplicit.hh>

Collaboration diagram for spot::explicit_conf< graph, Type >:
Collaboration graph

Public Member Functions

 explicit_conf (bdd_dict *d)

Static Public Member Functions

static std::string to_string (const typename Type::label_t &l)

Detailed Description

template<class graph, typename Type>
class spot::explicit_conf< graph, Type >

Configuration of graph automata

Constructor & Destructor Documentation

template<class graph , typename Type >
spot::explicit_conf< graph, Type >::explicit_conf ( bdd_dict d)
inline

Member Function Documentation

template<class graph , typename Type >
static std::string spot::explicit_conf< graph, Type >::to_string ( const typename Type::label_t &  l)
inlinestatic

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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:34 for spot by doxygen 1.8.1.2