|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
One rte_election_t instance's state. Caller-owned storage; every field is private - reach it only through the functions below. More...
#include <rte_election.h>
Data Fields | |
| uint32_t | own_id |
| rte_dual_state_t | own_last_state |
| uint32_t | winner_id |
| bool | have_winner |
One rte_election_t instance's state. Caller-owned storage; every field is private - reach it only through the functions below.
Definition at line 87 of file rte_election.h.
| uint32_t rte_election_t::own_id |
Definition at line 89 of file rte_election.h.
| rte_dual_state_t rte_election_t::own_last_state |
Definition at line 90 of file rte_election.h.
| uint32_t rte_election_t::winner_id |
Definition at line 92 of file rte_election.h.
| bool rte_election_t::have_winner |
Definition at line 93 of file rte_election.h.