spot::taa_tgba::transition Struct Reference

An explicit TAA transition. More...

#include <spot/twa/taatgba.hh>

Collaboration diagram for spot::taa_tgba::transition:

Public Attributes
bdd	condition
	Boolean label of the edge.
acc_cond::mark_t	acceptance_conditions
	Acceptance marks.
const state_set *	dst
	Destination state set.

Detailed Description

An explicit TAA transition.

Member Data Documentation

acceptance_conditions

acc_cond::mark_t spot::taa_tgba::transition::acceptance_conditions

Acceptance marks.

Referenced by spot::taa_tgba_labelled< label >::add_acceptance_condition(), and spot::taa_tgba_labelled< label >::create_transition().

condition

bdd spot::taa_tgba::transition::condition

Boolean label of the edge.

Referenced by spot::taa_tgba_labelled< label >::create_transition().

dst

const state_set* spot::taa_tgba::transition::dst

Destination state set.

Referenced by spot::taa_tgba_labelled< label >::create_transition().

---

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

• spot/twa/taatgba.hh