2 * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
6 * This file may be distributed and/or modified under the terms of the
7 * GNU General Public License version 2 as published by the Free Software
8 * Foundation and appearing in the file LICENSE.GPL included in the
9 * packaging of this file.
11 * Licensees holding valid libFirm Professional Edition licenses may use
12 * this file in accordance with the libFirm Commercial License.
13 * Agreement provided with the Software.
15 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * @brief ILP formalization using: ???
23 * @author Daniel Grund
29 #endif /* HAVE_CONFIG_H */
31 #include "firm_config.h"
35 #include "becopyilp_t.h"
39 typedef struct _my_env_t {
44 int co_solve_ilp1(copy_opt_t *co, double time_limit)
53 static INLINE void only_that_you_can_compile_without_WITH_ILP_defined(void) {