(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
macros.h
1 #pragma once
2 #define PRINT(a) std::cout << #a << "=" << (a) << std::endl