SCIP Doxygen Documentation
Loading...
Searching...
No Matches
cons_countsols.h File Reference

Detailed Description

Constraint handler for counting feasible solutions.

Author
Stefan Heinz
Michael Winkler

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)