/** problem writing method of reader */
static
SCIP_DECL_READERWRITE(readerWriteRlp)
{ /*lint --e{715}*/
if( genericnames )
{
SCIP_CALL( SCIPwriteLp(scip, file, name, transformed, objsense, objscale, objoffset, vars,
nvars, nbinvars, nintvars, nimplvars, ncontvars, conss, nconss, result) );
}
else
{
SCIPwarningMessage(scip, "RLP format is LP format with generic variable and constraint names\n");
if( transformed )
{
SCIPwarningMessage(scip, "write transformed problem with generic variable and constraint names\n");
SCIP_CALL( SCIPprintTransProblem(scip, file, "rlp", TRUE) );
}
else
{
SCIPwarningMessage(scip, "write original problem with generic variable and constraint names\n");
SCIP_CALL( SCIPprintOrigProblem(scip, file, "rlp", TRUE) );
}
*result = SCIP_SUCCESS;
}
return SCIP_OKAY;
}
int SCIPSolver::solve(){
DBG("solve!%s\n", "");
if(!has_been_added) initialise();
if(_verbosity > 0 && _verbosity < 3){
// Do nothing extra
} else if(_verbosity >= 3){
SCIP_CALL_EXC(SCIPprintOrigProblem(_scip, NULL, NULL, FALSE));
// SCIP_CALL_EXC(SCIPwriteOrigProblem(_scip, "scip.lp", "lp", TRUE));
} else {
// disable scip output to stdout
SCIP_CALL_EXC( SCIPsetMessagehdlr(_scip, NULL) );
}
SCIP_CALL_EXC( SCIPsolve(_scip) );
SCIP_STATUS status = SCIPgetStatus(_scip);
if( status == SCIP_STATUS_OPTIMAL ) return SAT;
else if( status == SCIP_STATUS_INFEASIBLE ) return UNSAT;
else return UNKNOWN;
}
