tsm  0.1.0
Classes | Public Types | Public Attributes | List of all members
TrafficLight::LightContext Struct Reference
Collaboration diagram for TrafficLight::LightContext:
Collaboration graph

Classes

struct  G1
 
struct  G2
 
struct  Y1
 
struct  Y2
 

Public Types

using transitions = std::tuple< ClockedTransition< G1, Y1 >, ClockedTransition< Y1, G2 >, ClockedTransition< G2, Y2 >, ClockedTransition< Y2, G1 > >
 

Public Attributes

bool walk_pressed_ {}
 

Member Typedef Documentation

◆ transitions

Member Data Documentation

◆ walk_pressed_

bool TrafficLight::LightContext::walk_pressed_ {}

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