verify: Clarify assertion message.
[libfirm] / ir / lpp / lpp_solvers.h
1 /*
2  * Copyright (C) 2005-2011 University of Karlsruhe.  All right reserved.
3  *
4  * This file is part of libFirm.
5  *
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.
10  *
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.
14  *
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
17  * PURPOSE.
18  */
19
20 /**
21  * @file
22  * @author  Sebastian Hack
23  */
24 #ifndef LPP_LPP_SOLVER_H
25 #define LPP_LPP_SOLVER_H
26
27 #include "lpp.h"
28
29 typedef void (lpp_solver_func_t)(lpp_t *lpp);
30
31 typedef struct {
32         lpp_solver_func_t *solver;
33         const char        *name;
34         int                n_instances;
35 } lpp_solver_t;
36
37 extern lpp_solver_t lpp_solvers[];
38
39 /**
40  * Find a solver for a given name.
41  */
42 lpp_solver_func_t *lpp_find_solver(const char *name);
43
44 #endif