void maximize_vert(WWindow *wwin)
{
WScreen *scr=SCREEN_OF(wwin);
if(scr!=NULL){
do_maximize(wwin, VERTICAL, WWINDOW_HFORCED,
&(wwin->saved_h), scr->root.geom.h);
}
}
void maximize_horiz(WWindow *wwin)
{
WScreen *scr=SCREEN_OF(wwin);
if(scr!=NULL){
do_maximize(wwin, HORIZONTAL, WWINDOW_WFORCED,
&(wwin->saved_w), scr->root.geom.w);
}
}
void ilp_problem_t::print(std::ostream *os) const
{
(*os)
<< "<ilp name=\"" << name()
<< "\" maxmize=\"" << (do_maximize() ? "yes" : "no")
<< "\" time=\"" << phillip()->get_time_for_ilp()
<< "\" timeout=\"" << (has_timed_out() ? "yes" : "no");
for (auto attr = m_attributes.begin(); attr != m_attributes.end(); ++attr)
(*os) << "\" " << attr->first << "=\"" << attr->second;
(*os)
<< "\">" << std::endl
<< "<variables num=\"" << m_variables.size() << "\">" << std::endl;
for (int i = 0; i < m_variables.size(); i++)
{
const variable_t &var = m_variables.at(i);
(*os) << "<variable index=\"" << i
<< "\" name=\"" << var.name()
<< "\" coefficient=\"" << var.objective_coefficient() << "\"";
if (is_constant_variable(i))
(*os) << " fixed=\"" << const_variable_values().at(i) << "\"";
(*os) << "></variable>" << std::endl;
}
(*os)
<< "</variables>" << std::endl
<< "<constraints num=\"" << m_constraints.size()
<< "\">" << std::endl;
for (int i = 0; i < m_constraints.size(); i++)
{
const constraint_t &cons = m_constraints.at(i);
std::string cons_exp;
cons.print(&cons_exp, m_variables);
(*os) << "<constraint index=\"" << i
<< "\" name=\"" << cons.name()
<< "\">" << cons_exp << "</constraint>" << std::endl;
}
(*os) << "</constraints>" << std::endl
<< "</ilp>" << std::endl;
}
