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
	transition (const cube &cube, acc_cond::mark_t acc)

Public Attributes
cube	cube_
acc_cond::mark_t	acc_

Detailed Description

Class for representing a transition.

---

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

• spot/twacube/twacube.hh