Lurupa: globals.h Source File

00001 /*
00002  * Lurupa, a library for verified linear programming.
00003  * Copyright (C) 2006 by Christian Keil
00004  *
00005  * This file is part of Lurupa.
00006  *
00007  * Lurupa is free software; you can redistribute it and/or
00008  * modify it under the terms of the GNU Lesser General Public
00009  * License as published by the Free Software Foundation; either
00010  * version 2.1 of the License, or (at your option) any later version.
00011  *
00012  * This library is distributed in the hope that it will be useful,
00013  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00014  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00015  * Lesser General Public License for more details.
00016  *
00017  * You should have received a copy of the GNU Lesser General Public
00018  * License along with this library; if not, write to the Free Software
00019  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301
00020  * USA
00021  */
00022 
00037 /*
00038  * Documentation of the Hungarian prefixes used throughout:
00039  *
00040  * eq  - Equality constraint
00041  * le  - Less-equal constraint
00042  * con - Any constraint
00043  * st  - Status value (maybe Bound_status, Solver_status, etc.)
00044  */
00045 
00046 #ifndef LURUPA_GLOBALS_H
00047 #define LURUPA_GLOBALS_H
00048 
00049 #ifdef HAVE_CONFIG_H
00050 #include <lurupa/config.h>
00051 #endif
00052 
00061 enum Bound_status {
00062   bs_verified,    
00063   bs_priminf,     
00064   bs_dualinf,     
00065   bs_orginf,      
00066   bs_orgunb,      
00067   bs_pertinf,     
00069   bs_noenc,       
00071   bs_warn,        
00073   bs_rank,        
00074   bs_iter,        
00075   bs_failure,     
00076   bs_timeout,     
00077   bs_running      
00078 };
00085 static const char *bound_status_string[] = {
00086   "ok",
00087   "primal infeasible",
00088   "dual infeasible",
00089   "lp-solver infeasible",
00090   "lp-solver unbounded",
00091   "perturbed lp infeasible",
00092   "no ls enclosure",
00093   "solver warning",
00094   "rank deficiency",
00095   "iteration limit reached",
00096   "solver failure",
00097   "solver timeout",
00098   "running"
00099 };
00110 enum Solver_status {
00111   ss_feasible,   
00112   ss_unbounded,  
00113   ss_infeasible, 
00114   ss_failure,    
00115   ss_timeout,    
00116   ss_unknown     
00117 };
00124 static const char *solver_status_string[] = {
00125   "feasible",
00126   "unbounded",
00127   "infeasible",
00128   "failure",
00129   "timeout",
00130   "unknown"
00131 };
00140 enum Csv_style {
00141   octave, 
00143   matlab  
00145 };
00146 
00152 #define LU_T_LATEX 1 
00153 #define LU_T_CSV   2 
00155 
00156 
00161 enum Write_mps {
00162   wm_all,   
00163   wm_ask,   
00164   wm_none   
00165 };
00166 
00167 #endif /* LURUPA_GLOBALS_H */