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 then 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)