(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
•All Classes Namespaces Files Functions Variables Friends
Public Types | Static Public Attributes | List of all members
global Class Reference

Public Types

enum  OPLUS_ALG { oplus_std, oplus_CD }
 
enum  OTIMES_ALG { otimes_std, otimes_CD }
 
enum  STAR_ALG { star_CD, star_alternate }
 
enum  MAT_STAR_ALG { mat_star_gauss, mat_star_block, mat_star_mmgd }
 

Static Public Attributes

static int LIMIT_TRANS_DELTA = 2000
 global parameters/constants
 
static unsigned NB_ITER = 20
 
static unsigned NB_LOOPS = 20
 
static unsigned char TST_IS = 1
 
static unsigned char TST_XIS =2
 
static unsigned char TST_RESIDUEQ =4
 
static unsigned char TST_RESIDUINEQ =8
 
static unsigned char TST_ALL =31
 
static unsigned char TST_KLEENE = 16
 
static long INF = 2147483647
 
static long _INF = -2147483647
 
static OPLUS_ALG oplus_alg =oplus_std
 
static OTIMES_ALG otimes_alg = otimes_std
 
static STAR_ALG star_alg =star_CD
 
static MAT_STAR_ALG mat_star_alg =mat_star_block
 
The documentation for this class was generated from the following files: