spot::taa_tgba::transition Struct Reference

Explicit transitions. More...

#include <spot/twa/taatgba.hh>

Collaboration diagram for spot::taa_tgba::transition:

Public Attributes
bdd	condition
acc_cond::mark_t	acceptance_conditions
const state_set *	dst

Detailed Description

Explicit transitions.

---

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

• spot/twa/taatgba.hh