CompileDES  3.12
Executable-Code Generation from Synchronised libFAUDES Automata
CodeGenerator::TimerAction Class Reference

Compiled record per event on how it affects timers. More...

#include <cgp_codegenerator.h>

Public Member Functions

bool operator== (const TimerAction &other)
 need equality operator for STL
bool operator< (const TimerAction &other) const
 need compare operator for STL (should perhaps use hashes for performance)

Public Attributes

std::set< std::string > mTimerStarts
 timers to start
std::set< std::string > mTimerStops
 timers to stop
std::set< std::string > mTimerResets
 timers to reset

Detailed Description

Definition at line 554 of file cgp_codegenerator.h.

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