SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
Constraint handler for counting feasible solutions.
Definition in file cons_countsols.h.
#include "scip/scip.h"Go to the source code of this file.
Functions | |
| 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_DECL_DIALOGEXEC (SCIPdialogExecCountPresolve) | |
| SCIP_DECL_DIALOGEXEC (SCIPdialogExecCount) | |
| SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteAllsolutions) | |
| SCIP_RETCODE | SCIPcount (SCIP *scip) |
| SCIP_Longint | SCIPgetNCountedSols (SCIP *scip, SCIP_Bool *valid) |
| void | SCIPgetNCountedSolsstr (SCIP *scip, char **buffer, int buffersize, int *requiredsize) |
| SCIP_Longint | SCIPgetNCountedFeasSubtrees (SCIP *scip) |
| void | SCIPgetCountedSparseSols (SCIP *scip, SCIP_VAR ***vars, int *nvars, SCIP_SPARSESOL ***sols, int *nsols) |
| SCIP_RETCODE | SCIPsetParamsCountsols (SCIP *scip) |