spot::state_ta_explicit::transition Struct Reference

Explicit transitions. More...

#include <spot/ta/taexplicit.hh>

Collaboration diagram for spot::state_ta_explicit::transition:

Public Attributes
bdd	condition
acc_cond::mark_t	acceptance_conditions
const state_ta_explicit *	dest

Detailed Description

Explicit transitions.

---

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

• spot/ta/taexplicit.hh