spot::couvreur99_check_shy::successor Struct Reference

A successor state with its associated acceptance marks, used in the shy Couvreur check. More...

#include <spot/twaalgos/gtec/gtec.hh>

Collaboration diagram for spot::couvreur99_check_shy::successor:

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

Public Attributes
acc_cond::mark_t	acc
	Acceptance marks on the edge to this successor. More...
const spot::state *	s

Detailed Description

A successor state with its associated acceptance marks, used in the shy Couvreur check.

Constructor & Destructor Documentation

successor()

spot::couvreur99_check_shy::successor::successor ( acc_cond::mark_t  acc, const spot::state *  s  )

inlinenoexcept

Construct a successor from acceptance marks and a state.

Member Data Documentation

acc

acc_cond::mark_t spot::couvreur99_check_shy::successor::acc

Acceptance marks on the edge to this successor.

s

const spot::state* spot::couvreur99_check_shy::successor::s

The successor state.

---

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

• spot/twaalgos/gtec/gtec.hh