[SCIP] XOR VS AND/OR: reason behind different signatures
Roberto Amabile
Roberto.Amabile at ruhr-uni-bochum.de
Wed May 30 08:55:55 CEST 2018
Dear SCIPers,
thanks in advance for your consideration.
I wonder why the signature SCIPcreateConsXor is different from
SCIPcreateConsAnd/Or in their respective constraint handlers.
According to their signatures, the AND/OR constraint resultant is
SCIP_VAR*, whereas the XOR "resultant" (it is not even called that way)
is a SCIP_Bool.
Is there any design/theoretical choice for this inconsistency?
Best,
--
Roberto Amabile
More information about the Scip
mailing list