spot::transition Class Reference

Class for representing a transition. More...

#include <spot/twacube/twacube.hh>

Collaboration diagram for spot::transition:

Public Member Functions
	transition (const transition &t)=delete
	transition (transition &&t) noexcept
	Move a transition.
	transition (const cube &cube, acc_cond::mark_t acc)
	Build a transition from a cube and an acceptance mark.

Public Attributes
cube	cube_
	Transition cube.
acc_cond::mark_t	acc_
	Acceptance mark.

Detailed Description

Class for representing a transition.

Constructor & Destructor Documentation

transition() [1/2]

spot::transition::transition ( transition &&  t )

noexcept

Move a transition.

transition() [2/2]

spot::transition::transition	(	const cube &	cube,
		acc_cond::mark_t	acc
	)

Build a transition from a cube and an acceptance mark.

Member Data Documentation

acc_

acc_cond::mark_t spot::transition::acc_

Acceptance mark.

cube_

cube spot::transition::cube_

Transition cube.

---

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

• spot/twacube/twacube.hh