spot  1.0.1
Public Attributes | List of all members
spot::state_explicit< Label, label_hash >::transition Struct Reference

#include <tgba/tgbaexplicit.hh>

Collaboration diagram for spot::state_explicit< Label, label_hash >::transition:
Collaboration graph

Public Attributes

bdd condition
bdd acceptance_conditions
const state_explicit< Label,
label_hash > * 
dest

Member Data Documentation

template<typename Label, typename label_hash>
bdd spot::state_explicit< Label, label_hash >::transition::acceptance_conditions
template<typename Label, typename label_hash>
bdd spot::state_explicit< Label, label_hash >::transition::condition
template<typename Label, typename label_hash>
const state_explicit<Label, label_hash>* spot::state_explicit< Label, label_hash >::transition::dest

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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:03 for spot by doxygen 1.8.1.2