+/* xbt/automaton.h -- büchi automaton */
+
+/* Copyright (c) 2011. The SimGrid Team.
+ * All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
#ifndef _XBT_AUTOMATON_H
#define _XBT_AUTOMATON_H
typedef struct xbt_automaton* xbt_automaton_t;
typedef struct xbt_exp_label{
- enum{or=0, and=1, not=2, predicat=3, one=4} type;
+ /* fixme: "or", "and", and "not" are reserved keywords in C++ */
+ /* enum{or=0, and=1, not=2, predicat=3, one=4} type; */
+ int type;
union{
struct{
struct xbt_exp_label* left_exp;