00001 // -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*- 00002 //////////////////////////////////////////////////////////////////// 00003 // 00004 // Filename : speedkind.h (base) 00005 // 00006 // This file is a part of the UPPAAL toolkit. 00007 // Copyright (c) 1995 - 2003, Uppsala University and Aalborg University. 00008 // All right reserved. 00009 // 00010 // $Id: speedkind.h,v 1.3 2004/06/14 07:36:54 adavid Exp $ 00011 // 00012 /////////////////////////////////////////////////////////////////// 00013 00014 #ifndef INCLUDE_BASE_SPEEDKIND_H 00015 #define INCLUDE_BASE_SPEEDKIND_H 00016 00017 /** High level kind to choose between difference performance level. 00018 * This is used to instanciate abstract classes as a predefined 00019 * type. 00020 * DO NOT CHANGE these constants. 00021 */ 00022 typedef enum 00023 { 00024 FASTEST_KIND = 0, 00025 DEFAULT_KIND = 1, 00026 SMALLEST_KIND = 2 00027 } speedkind_t; 00028 00029 #endif // INCLUDE_BASE_SPEEDKIND_H
1.4.2