00001 // Evaluator Main module -*- C++ -*- 00002 00003 // Copyright (C) 2001-2003 Hermann Schichl 00004 // 00005 // This file is part of the COCONUT API. This library 00006 // is free software; you can redistribute it and/or modify it under the 00007 // terms of the Library GNU General Public License as published by the 00008 // Free Software Foundation; either version 2, or (at your option) 00009 // any later version. 00010 00011 // This library is distributed in the hope that it will be useful, 00012 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00014 // Library GNU General Public License for more details. 00015 00016 // As a special exception, you may use this file as part of a free software 00017 // library without restriction. Specifically, if other files instantiate 00018 // templates or use macros or inline functions from this file, or you compile 00019 // this file and link it with other files to produce an executable, this 00020 // file does not by itself cause the resulting executable to be covered by 00021 // the Library GNU General Public License. This exception does not however 00022 // invalidate any other reasons why the executable file might be covered by 00023 // the Library GNU General Public License. 00024 00027 #ifndef _EVAL_MAIN_H_ 00028 #define _EVAL_MAIN_H_ 00029 00030 #define FUNC_EVALUATOR 0 00031 #define FUNC_D_EVALUATOR 1 00032 #define FUNC_RANGE 2 00033 #define FUNC_D_RANGE 3 00034 #define DER_EVALUATOR 4 00035 #define DER_RANGE 5 00036 #define REDUCE_RANGE 6 00037 #define PRINT 7 00038 #define FUNC_FW_PREP 8 00039 #define FUNC_ISLP_EVALUATOR 9 00040 #define ISLP_EVALUATOR 10 00041 #define FUNC_ID_EVALUATOR 11 00042 #define IDER_EVALUATOR 12 00043 #define FUNC_CRANGE 13 00044 #define FUNC_BRANGE 14 00045 #define FUNC_ANALYTICD 15 00046 #define FUNC_INFB 16 00047 #define CONVEX_EVALUATOR 17 00048 00049 #define NUM_EVALUATORS 18 00050 00051 extern std::vector<std::vector<void *> > standard_evaluators; 00052 00053 #endif /* _EVAL_MAIN_H_ */