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 Heuristic PBQP solver.
24 * @author Sebastian Buchwald
27 #ifndef KAPS_HEURISTICAL_H
28 #define KAPS_HEURISTICAL_H
34 void solve_pbqp_heuristical(pbqp *pbqp);
35 void solve_pbqp_heuristical_co(pbqp *pbqp, plist_t *rpeo);
36 void solve_pbqp_brute_force(pbqp *pbqp);
38 void apply_edge(pbqp *pbqp);
40 void apply_RI(pbqp *pbqp);
41 void apply_RII(pbqp *pbqp);
42 void apply_RN(pbqp *pbqp);
43 void apply_RN_co(pbqp *pbqp, plist_t *rpeo);
45 void back_propagate_RI(pbqp *pbqp, pbqp_node *node);
46 void back_propagate_RII(pbqp *pbqp, pbqp_node *node);
48 int node_is_reduced(pbqp_node *node);
50 #endif /* KAPS_HEURISTICAL_H */