#include <stdbool.h>
+#include "be_t.h"
#include "irtools.h"
#include "irprintf.h"
-#include "bestatevent.h"
-#include "beirg.h"
+#include "statev_t.h"
#include "bemodule.h"
#include "error.h"
lpp_sol_state_t ilp_go(ilp_env_t *ienv)
{
- ir_graph *irg = ienv->co->irg;
- be_options_t *options = be_get_irg_options(irg);
+ ir_graph *irg = ienv->co->irg;
sr_remove(ienv->sr);
if (solve_log)
lpp_set_log(ienv->lp, stdout);
- lpp_solve(ienv->lp, options->ilp_server, options->ilp_solver);
+ lpp_solve(ienv->lp, be_options.ilp_server, be_options.ilp_solver);
- //be_stat_ev_dbl("co_ilp_objval", ienv->lp->objval);
- //be_stat_ev_dbl("co_ilp_best_bound", ienv->lp->best_bound);
- be_stat_ev ("co_ilp_iter", lpp_get_iter_cnt(ienv->lp));
- be_stat_ev_dbl("co_ilp_sol_time", lpp_get_sol_time(ienv->lp));
+ //stat_ev_dbl("co_ilp_objval", ienv->lp->objval);
+ //stat_ev_dbl("co_ilp_best_bound", ienv->lp->best_bound);
+ stat_ev_int("co_ilp_iter", lpp_get_iter_cnt(ienv->lp));
+ stat_ev_dbl("co_ilp_sol_time", lpp_get_sol_time(ienv->lp));
ienv->apply(ienv);