spot  0.9.1
Public Attributes
spot::state_explicit< Label, label_hash >::transition Struct Reference

#include <tgba/tgbaexplicit.hh>

List of all members.

Public Attributes

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

template<typename Label, typename label_hash>
struct spot::state_explicit< Label, label_hash >::transition


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 May 23 2012 12:06:46 for spot by doxygen 1.7.6.1