Detailed Description

Constraint handler for counting feasible solutions.

Author: Stefan Heinz; Michael Winkler

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.

Definition in file cons_countsols.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions
	SCIP_DECL_DIALOGEXEC (SCIPdialogExecCountPresolve)

	SCIP_DECL_DIALOGEXEC (SCIPdialogExecCount)

	SCIP_DECL_DIALOGEXEC (SCIPdialogExecWriteAllsolutions)

SCIP_RETCODE	SCIPincludeConshdlrCountsols (SCIP *scip)

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)

Function Documentation

SCIP_DECL_DIALOGEXEC ( SCIPdialogExecCountPresolve )

dialog execution method for the count command

Definition at line 1769 of file cons_countsols.c.

References CONSHDLR_NAME, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_DIALOGEXEC(), SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIPdialoghdlrAddHistory(), SCIPdialoghdlrGetRoot(), SCIPdialogMessage(), SCIPerrorMessage, SCIPgetBoolParam(), SCIPgetStage(), SCIPpresolve(), SCIPsetBoolParam(), and TRUE.

Referenced by SCIP_DECL_CONSLOCK(), SCIP_DECL_DIALOGEXEC(), and writeExpandedSolutions().

SCIP_DECL_DIALOGEXEC ( SCIPdialogExecCount )

dialog execution method for the count command

Definition at line 1830 of file cons_countsols.c.

References CONSHDLR_NAME, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_DECL_SORTPTRCOMP(), SCIP_INVALIDCALL, SCIP_Longint, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIP_VERBLEVEL_FULL, SCIPallocBufferArray, SCIPcount(), SCIPdialoghdlrAddHistory(), SCIPdialoghdlrGetRoot(), SCIPdialogMessage(), SCIPerrorMessage, SCIPfindConshdlr(), SCIPfreeBufferArray, SCIPgetBoolParam(), SCIPgetIntParam(), SCIPgetNContVars(), SCIPgetNCountedFeasSubtrees(), SCIPgetNCountedSols(), SCIPgetNCountedSolsstr(), SCIPgetStage(), SCIPisParamFixed(), SCIPpresolve(), SCIPreallocBufferArray, SCIPsetBoolParam(), SCIPsetIntParam(), SCIPunfixParam(), SCIPverbMessage(), SCIPwarningMessage(), and TRUE.

SCIP_DECL_DIALOGEXEC ( SCIPdialogExecWriteAllsolutions )

execution method of dialog for writing all solutions

Definition at line 2142 of file cons_countsols.c.

References CONSHDLR_NAME, createCountDialog(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_ERROR, SCIP_Longint, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_EXITSOLVE, SCIP_STAGE_FREE, SCIP_STAGE_FREETRANS, SCIP_STAGE_INIT, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMED, SCIP_STAGE_TRANSFORMING, SCIP_VARTYPE_CONTINUOUS, SCIPallocBufferArray, SCIPconshdlrGetData(), SCIPdialoghdlrAddHistory(), SCIPdialoghdlrClearBuffer(), SCIPdialoghdlrGetRoot(), SCIPdialoghdlrGetWord(), SCIPdialogMessage(), SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfindConshdlr(), SCIPfreeBufferArray, SCIPgetNCountedSols(), SCIPgetNCountedSolsstr(), SCIPgetNOrigVars(), SCIPgetOrigVars(), SCIPgetStage(), SCIPgetTransformedVar(), SCIPinfoMessage(), SCIPreallocBufferArray, SCIPsortDownPtrPtr(), SCIPvarGetName(), SCIPvarGetType(), TRUE, and writeExpandedSolutions().

SCIP_RETCODE SCIPincludeConshdlrCountsols ( SCIP * scip )

creates the handler for countsol constraints and includes it in SCIP

creates the handler for countsols constraints and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 2560 of file cons_countsols.c.

References includeConshdlrCountsols(), SCIP_CALL, SCIP_OKAY, SCIPcount(), and TRUE.

Referenced by includeConshdlrCountsols(), and SCIPincludeDefaultPlugins().

SCIP_RETCODE SCIPcount ( SCIP * scip )

execute counting

Parameters

scip	SCIP data structure

Definition at line 2572 of file cons_countsols.c.

References checkParameters(), CONSHDLR_NAME, FALSE, SCIP_Bool, SCIP_CALL, SCIP_Longint, SCIP_OKAY, SCIPgetBoolParam(), SCIPgetNCountedSols(), SCIPsetBoolParam(), SCIPsolve(), and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPincludeConshdlrCountsols().

SCIP_Longint SCIPgetNCountedSols	(	SCIP *	scip,
		SCIP_Bool *	valid
	)

returns number of feasible solutions found as SCIP_Longint; if the number does not fit into a SCIP_Longint the valid flag is set to FALSE

Parameters

scip	SCIP data structure
valid	pointer to store if the return value is valid

Definition at line 2604 of file cons_countsols.c.

References CONSHDLR_NAME, getNCountedSols(), NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), and SCIPgetNCountedSolsstr().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), and SCIPcount().

void SCIPgetNCountedSolsstr	(	SCIP *	scip,
		char **	buffer,
		int	buffersize,
		int *	requiredsize
	)

returns number of counted solutions as string

puts the number of counted solutions in the given char* buffer

Parameters

scip	SCIP data structure
buffer	buffer to store the number for counted solutions
buffersize	buffer size
requiredsize	pointer to store the required size

Definition at line 2624 of file cons_countsols.c.

References CONSHDLR_NAME, NULL, pow(), SCIP_Longint, SCIPconshdlrGetData(), SCIPfindConshdlr(), SCIPgetNCountedFeasSubtrees(), and toString().

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPgetNCountedSols().

SCIP_Longint SCIPgetNCountedFeasSubtrees ( SCIP * scip )

returns number of counted feasible subtrees

returns number of counted non trivial feasible subtrees

Parameters

scip	SCIP data structure

Definition at line 2662 of file cons_countsols.c.

References CONSHDLR_NAME, NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), and SCIPgetCountedSparseSols().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DISPOUTPUT(), and SCIPgetNCountedSolsstr().

void SCIPgetCountedSparseSols	(	SCIP *	scip,
		SCIP_VAR ***	vars,
		int *	nvars,
		SCIP_SPARSESOL ***	sols,
		int *	nsols
	)

Method to get the sparse solution.

Note: You get the pointer to the sparse solutions stored in the constraint handler (not a copy).; The sparse solutions are stored w.r.t. the active variables. This are the variables which got not removed during presolving. For none active variables the value has to be computed depending on their aggregation type. See for more details about that Collect all feasible solution.

Parameters

scip	SCIP data structure
vars	pointer to active variable array defining to variable order
nvars	number of active variables
sols	pointer to the solutions
nsols	pointer to number of solutions

Definition at line 2690 of file cons_countsols.c.

References CONSHDLR_NAME, NULL, SCIPconshdlrGetData(), SCIPfindConshdlr(), and SCIPsetParamsCountsols().

Referenced by SCIPgetNCountedFeasSubtrees().

SCIP_RETCODE SCIPsetParamsCountsols ( SCIP * scip )

setting SCIP parameters for such that a valid counting process is possible

Parameters

scip	SCIP data structure

Definition at line 2717 of file cons_countsols.c.

References SCIP_CALL, SCIP_OKAY, SCIP_PARAMEMPHASIS_COUNTER, SCIPsetEmphasis(), and TRUE.

Referenced by SCIPgetCountedSparseSols().

SCIP

Detailed Description

Functions

Function Documentation