faudes::Executor::TimedState Struct Reference

Detailed Description

Typedef for timed state.

Definition at line 101 of file sp_executor.h.

#include <sp_executor.h>

Public Attributes

Idx State
 
std::map< Idx, Time::TypeClockValue
 

Member Data Documentation

◆ ClockValue

std::map<Idx,Time::Type> faudes::Executor::TimedState::ClockValue

Definition at line 103 of file sp_executor.h.

◆ State

Idx faudes::Executor::TimedState::State

Definition at line 102 of file sp_executor.h.


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

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen