spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Public Attributes | List of all members
spot::transition Struct Reference

the structure that will store the successors of a state More...

#include <fasttgba/fasttgba_explicit.hh>

Collaboration diagram for spot::transition:
Collaboration graph

Public Member Functions

 transition (cube c, markset a, const fast_explicit_state *d)
 

Public Attributes

cube conditions
 condition over an arc More...
 
markset acceptance_marks
 acceptance mark over an arc More...
 
const fast_explicit_statedst
 the destination state More...
 

Detailed Description

the structure that will store the successors of a state

Member Data Documentation

markset spot::transition::acceptance_marks

acceptance mark over an arc

cube spot::transition::conditions

condition over an arc

const fast_explicit_state* spot::transition::dst

the destination state


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 Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5