spot::twa_run::step Struct Reference

A single step in a TωA run, pairing a state with an edge label and acceptance marks. More...

#include <spot/twaalgos/emptiness.hh>

Collaboration diagram for spot::twa_run::step:

Public Member Functions
	step (const state *s, bdd label, acc_cond::mark_t acc) noexcept
	Construct a step from a state, label, and acceptance marks. More...

Public Attributes
const state *	s
	Source state. More...
bdd	label
	Transition label. More...
acc_cond::mark_t	acc
	Acceptance marks on the transition. More...

Detailed Description

A single step in a TωA run, pairing a state with an edge label and acceptance marks.

Constructor & Destructor Documentation

step()

spot::twa_run::step::step ( const state *  s, bdd  label, acc_cond::mark_t  acc  )

inlinenoexcept

Construct a step from a state, label, and acceptance marks.

Member Data Documentation

acc

acc_cond::mark_t spot::twa_run::step::acc

Acceptance marks on the transition.

label

bdd spot::twa_run::step::label

Transition label.

s

const state* spot::twa_run::step::s

Source state.

---

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

• spot/twaalgos/emptiness.hh