SCIP
Solving Constraint Integer Programs
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_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) |