18 #ifndef CPROVER_MUSKETEER_ILP_H 19 #define CPROVER_MUSKETEER_ILP_H 26 class my_vectort:
public std::vector<T>
44 my_vectort<double> vmat;
49 parm.msg_lev=GLP_MSG_OFF;
53 glp_set_prob_name(lp,
"fence optimisation");
54 glp_set_obj_dir(lp, GLP_MIN);
62 void set_size(
unsigned mat_size)
65 imat.resize(mat_size+1);
66 jmat.resize(mat_size+1);
67 vmat.resize(mat_size+1);
72 glp_load_matrix(lp, matrix_size, imat.to_array(),
73 jmat.to_array(), vmat.to_array());
74 glp_intopt(lp, &parm);
81 #endif // CPROVER_MUSKETEER_ILP_H