/** constraint parsing method of constraint handler */
static
SCIP_DECL_CONSPARSE(consParseConjunction)
{ /*lint --e{715}*/
SCIP_CONS** conss;
int nconss;
int sconss;
char* token;
char* saveptr;
char* nexttokenstart;
char* copystr;
assert(scip != NULL);
assert(conshdlr != NULL);
assert(cons != NULL);
assert(success != NULL);
assert(str != NULL);
assert(name != NULL);
SCIPdebugMessage("parsing conjunction <%s>\n", name);
*success = TRUE;
/* allocate memory for constraint in conjunction, initial size is set to 10 */
nconss = 0;
sconss = 10;
SCIP_CALL( SCIPallocBufferArray(scip, &conss, sconss) );
SCIP_CALL( SCIPduplicateBufferArray(scip, ©str, str, (int)strlen(str)+1) );
/* find '(' at the beginning, string should start with 'conjunction(' */
saveptr = strpbrk(copystr, "("); /*lint !e158*/
if( saveptr == NULL )
{
SCIPdebugMessage("error parsing conjunctive constraint: \"%s\"\n", str);
*success = FALSE;
goto TERMINATE;
}
/* skip '(' */
++saveptr;
/* remember token start position */
nexttokenstart = saveptr;
/* brackets '(' and ')' can exist co we check for them and the constraint delimeter */
saveptr = strpbrk(saveptr, "(,");
/* brackets '(' and ')' can exist in the rest of the string so we need to skip them to find the end of the first
* sub-constraint marked by a ','
*/
if( saveptr != NULL )
{
do
{
int bracketcounter = 0;
if( *saveptr == '(' )
{
do
{
++bracketcounter;
++saveptr;
/* find last ending bracket */
while( bracketcounter > 0 )
{
saveptr = strpbrk(saveptr, "()");
if( saveptr != NULL )
{
if( *saveptr == '(' )
++bracketcounter;
else
--bracketcounter;
++saveptr;
}
else
{
SCIPdebugMessage("error parsing conjunctive constraint: \"%s\"\n", str);
*success = FALSE;
goto TERMINATE;
}
}
saveptr = strpbrk(saveptr, "(,");
}
while( saveptr != NULL && *saveptr == '(' );
}
/* we found a ',' so the end of the first sub-constraint is determined */
if( saveptr != NULL )
{
assert(*saveptr == ',');
/* resize constraint array if necessary */
if( nconss == sconss )
{
sconss = SCIPcalcMemGrowSize(scip, nconss+1);
assert(nconss < sconss);
SCIP_CALL( SCIPreallocBufferArray(scip, &conss, sconss) );
}
assert(saveptr > nexttokenstart);
/* extract token for parsing */
SCIP_CALL( SCIPduplicateBufferArray(scip, &token, nexttokenstart, saveptr - nexttokenstart + 1) );
token[saveptr - nexttokenstart] = '\0';
SCIPdebugMessage("conjunctive parsing token(constraint): %s\n", token);
/* parsing a constraint, part of the conjunction */
SCIP_CALL( SCIPparseCons(scip, &(conss[nconss]), token, initial, separate, enforce, check, propagate, local, modifiable, dynamic, removable, stickingatnode, success) );
SCIPfreeBufferArray(scip, &token);
if( *success )
++nconss;
else
{
SCIPdebugMessage("error parsing conjunctive constraint: \"%s\"\n", str);
goto TERMINATE;
}
/* skip ',' delimeter */
++saveptr;
/* remember token start position */
nexttokenstart = saveptr;
saveptr = strpbrk(saveptr, "(,");
}
}
while( saveptr != NULL );
}
/* find end of conjunction constraint */
saveptr = strrchr(nexttokenstart, ')');
if( saveptr == NULL )
{
SCIPdebugMessage("error parsing conjunctive constraint: \"%s\"\n", str);
*success = FALSE;
goto TERMINATE;
}
/* parse last sub-constraint */
else
{
/* resize constraint array if necessary */
if( nconss == sconss )
{
++sconss;
SCIP_CALL( SCIPreallocBufferArray(scip, &conss, sconss) );
}
assert(saveptr > nexttokenstart);
/* extract token for parsing */
SCIP_CALL( SCIPduplicateBufferArray(scip, &token, nexttokenstart, saveptr - nexttokenstart + 1) );
token[saveptr - nexttokenstart] = '\0';
SCIPdebugMessage("conjunctive parsing token(constraint): %s\n", token);
/* parsing a constraint, part of the conjunction */
SCIP_CALL( SCIPparseCons(scip, &(conss[nconss]), token, initial, separate, enforce, check, propagate, local, modifiable, dynamic, removable, stickingatnode, success) );
if( *success )
++nconss;
SCIPfreeBufferArray(scip, &token);
}
assert(nconss > 0 || !(*success));
/* if parsing sub-constraints was fine, create the conjunctive constraint */
if( *success )
{
/* create conjunctive constraint */
SCIP_CALL( SCIPcreateConsConjunction(scip, cons, name, nconss, conss,
enforce, check, local, modifiable, dynamic) );
}
/* free parsed constraints */
for( --nconss; nconss >= 0; --nconss )
{
SCIP_CALL( SCIPreleaseCons(scip, &conss[nconss]) );
}
TERMINATE:
/* free temporary memory */
SCIPfreeBufferArray(scip, ©str);
SCIPfreeBufferArray(scip, &conss);
return SCIP_OKAY;
}
/** read constraint */
static
SCIP_RETCODE getConstraint(
SCIP* scip, /**< SCIP data structure */
CIPINPUT* cipinput, /**< CIP parsing data */
SCIP_Bool initial, /**< should the LP relaxation of constraint be in the initial LP?
* Usually set to TRUE. Set to FALSE for 'lazy constraints'. */
SCIP_Bool dynamic, /**< Is constraint subject to aging?
* Usually set to FALSE. Set to TRUE for own cuts which
* are separated as constraints. */
SCIP_Bool removable /**< should the relaxation be removed from the LP due to aging or cleanup?
* Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. */
)
{
SCIP_CONS* cons;
char* buf;
char* copybuf;
SCIP_RETCODE retcode;
SCIP_Bool separate;
SCIP_Bool enforce;
SCIP_Bool check;
SCIP_Bool propagate;
SCIP_Bool local;
SCIP_Bool modifiable;
SCIP_Bool success;
int len;
buf = cipinput->strbuf;
if( strncmp(buf, "END", 3) == 0 )
{
cipinput->section = CIP_END;
return SCIP_OKAY;
}
SCIPdebugMessage("parse constraints in line %d\n", cipinput->linenumber);
separate = TRUE;
enforce = TRUE;
check = TRUE;
propagate = TRUE;
local = FALSE;
modifiable = FALSE;
/* get length of line and check for correct ending of constraint line */
len = (int)strlen(buf);
if( len < 1 )
{
SCIPerrorMessage("syntax error: expected constraint in line %d.\n", cipinput->linenumber);
cipinput->haserror = TRUE;
return SCIP_OKAY;
}
if ( buf[len - 1] != ';' )
{
SCIPerrorMessage("syntax error: line has to end with ';' (line: %d)\n", cipinput->linenumber);
cipinput->haserror = TRUE;
return SCIP_OKAY;
}
/* copy buffer for working purpose */
SCIP_CALL( SCIPduplicateMemoryArray(scip, ©buf, buf, len) );
copybuf[len - 1] = '\0';
/* parse the constraint */
retcode = SCIPparseCons(scip, &cons, copybuf,
initial, separate, enforce, check, propagate, local, modifiable, dynamic, removable, FALSE, &success);
/* free temporary buffer */
SCIPfreeMemoryArray(scip, ©buf);
SCIP_CALL( retcode );
if( !success )
{
SCIPerrorMessage("syntax error when reading constraint (line: %d):\n%s\n", cipinput->linenumber, cipinput->strbuf);
cipinput->haserror = TRUE;
return SCIP_OKAY;
}
SCIP_CALL( SCIPaddCons(scip, cons) );
SCIPdebugPrintCons(scip, cons, NULL);
SCIP_CALL( SCIPreleaseCons(scip, &cons) );
return SCIP_OKAY;
}