include/xbt/automatonparse_promela.h

   1 /*  xbt/automatonparse_promela.h -- implementation automaton from promela file    */
   2
   3 /* Copyright (c) 2011. The SimGrid Team.
   4  * All rights reserved.                                                     */
   5
   6 /* This program is free software; you can redistribute it and/or modify it
   7  * under the terms of the license (GNU LGPL) which comes with this package. */
   8
   9 #ifndef _XBT_AUTOMATONPARSE_PROMELA_H
  10 #define _XBT_AUTOMATONPARSE_PROMELA_H
  11
  12 #include <stdlib.h>
  13 #include <string.h>
  14 #include "xbt/automaton.h"
  15
  16 SG_BEGIN_DECL()
  17
  18 XBT_PUBLIC_DATA(xbt_automaton_t) automaton;
  19
  20 XBT_PUBLIC(void) init(void);
  21
  22 XBT_PUBLIC(void) new_state(char* id, int src);
  23
  24 XBT_PUBLIC(void) new_transition(char* id, xbt_exp_label_t label);
  25
  26 XBT_PUBLIC(xbt_exp_label_t) new_label(int type, ...);
  27
  28 XBT_PUBLIC(xbt_automaton_t) get_automaton(void);
  29
  30 XBT_PUBLIC(void) display_automaton(void);
  31
  32 SG_END_DECL()
  33
  34 #endif