cons_countsols.h File Reference
Detailed Description
Constraint handler for counting feasible solutions.
Definition in file cons_countsols.h.
#include "scip/def.h"
#include "scip/type_dialog.h"
#include "scip/type_misc.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_var.h"
Go to the source code of this file.
Functions | |
SCIP_EXPORT SCIP_RETCODE | SCIPincludeConshdlrCountsols (SCIP *scip) |
Constraint Handler for counting solutions | |
If this constraint handler is activated than it counts or collects all feasible solutions. We refer to How to use SCIP to count/enumerate feasible solutions for more details about using SCIP for counting feasible solutions. | |
SCIP_EXPORT | SCIP_DECL_DIALOGEXEC (SCIPdialogExecCountPresolve) |
SCIP_EXPORT | SCIP_DECL_DIALOGEXEC (SCIPdialogExecCount) |
SCIP_EXPORT | SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteAllsolutions) |
SCIP_EXPORT SCIP_RETCODE | SCIPcount (SCIP *scip) |
SCIP_EXPORT SCIP_Longint | SCIPgetNCountedSols (SCIP *scip, SCIP_Bool *valid) |
SCIP_EXPORT void | SCIPgetNCountedSolsstr (SCIP *scip, char **buffer, int buffersize, int *requiredsize) |
SCIP_EXPORT SCIP_Longint | SCIPgetNCountedFeasSubtrees (SCIP *scip) |
SCIP_EXPORT void | SCIPgetCountedSparseSols (SCIP *scip, SCIP_VAR ***vars, int *nvars, SCIP_SPARSESOL ***sols, int *nsols) |
SCIP_EXPORT SCIP_RETCODE | SCIPsetParamsCountsols (SCIP *scip) |