All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
cons_countsols.h File Reference Detailed DescriptionConstraint handler for counting feasible 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. Definition in file cons_countsols.h. #include "scip/scip.h" Go to the source code of this file.
Function Documentation
dialog execution method for the count command
dialog execution method for the count command
execution method of dialog for writing all solutions
creates the handler for countsol constraints and includes it in SCIP
execute counting
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
returns number of counted solutions as string
returns number of counted feasible subtrees
Method to get the sparse solution.
setting SCIP parameters for such that a valid counting process is possible
|