(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
test::TestKleene< T > Class Template Reference

Static Public Member Functions

static bool TestAll (const T &a, const T &b)
 a Gain 1, b Gain free
 
static void print (const T &a)
 
static void Test1 (const T &a)
 
static void Test2 (const T &a)
 

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