Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 8fbcef9830
Fetching contributors…

Cannot retrieve contributors at this time

18 lines (16 sloc) 0.796 kb
#ifndef __ENUMS_H
#define __ENUMS_H
enum sign {POSITIVE, NEGATIVE}; /*utilisé dans les rationels*/
enum varStatus {NORMAL, POST, DERIVATIVE,CONSTANT}; /*utilisé pour désigner le statut d'une variable dans une expression*/
enum exprType{TERM,LOCINIT,PARAM,
TRUE, FALSE,
AND, OR,
PLUS, MINUS, DIV, TIMES,
LES, LEQ, EQU, GEQ, GRT}; /*utilisé dans la définition des expressions*/
enum varType { INTEGRATOR, STOPWATCH, CLOCK, ANALOG, PARAMETER, DISCRETE, ANY_VAR_TYPE };
enum nameType {AUTOMATON,LOCATION, LABEL, VAR};/*utilisé dans les AVL*/
enum labelType {EVENT,ORDER,INTERNAL,STANDARD, BROADCAST, URGENT};
enum transitionStatus{ORDINARY, ASAP,BROADCASTEMITTER,BROADCASTRECEIVER};
enum automType {ELASTIC, UPPAAL,HYTECH};
enum locationType {SLW, URG, COMMIT};
#endif
Jump to Line
Something went wrong with that request. Please try again.