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

This is the complete list of members for test::TestKleene< T >, including all inherited members.

print(const T &a) (defined in test::TestKleene< T >)test::TestKleene< T >inlinestatic
Test1(const T &a) (defined in test::TestKleene< T >)test::TestKleene< T >inlinestatic
Test2(const T &a) (defined in test::TestKleene< T >)test::TestKleene< T >inlinestatic
TestAll(const T &a, const T &b)test::TestKleene< T >inlinestatic