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: