spot  1.1.4
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:26 for spot by doxygen 1.8.4