spot
1.2.1a
|
the structure that will store the successors of a state More...
#include <fasttgba/fasttgba_explicit.hh>
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_state * | dst |
the destination state More... | |
the structure that will store the successors of a state
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