pub unsafe extern "C" fn SCIPprintSeparatorStatistics(
scip: *mut SCIP,
file: *mut FILE,
)Expand description
outputs separator statistics
Columns:
- RootCalls: The number of calls that happened at the root.
- FoundCuts: The total number of cuts generated by the separators. Note: Cutpool-FoundCuts \f$= \sum_{i=1}^nsepas ( Foundcuts_i - DirectAdd_i )\f$.
- ViaPoolAdd: The total number of cuts added to the sepastore from the cutpool.
- DirectAdd: The total number of cuts added directly to the sepastore from the separator.
- Applied: The sum of all cuts from the separator that were applied to the LP.
- ViaPoolApp: The number of cuts that entered the sepastore from the cutpool that were applied to the LP.
- DirectApp: The number of cuts that entered the sepastore directly and were applied to the LP.
The number of cuts ViaPoolAdd + Directly should be equal to the number of cuts Filtered + Forced + Selected in the cutselector statistics.
@note The following edge case may lead to over or undercounting of statistics: When SCIPapplyCutsProbing() is called, cuts are counted for the cut selection statistics, but not for the separator statistics. This happens, e.g., in the default plugin prop_obbt.c.
@pre This method can be called if SCIP is in one of the following stages: - \ref SCIP_STAGE_SOLVING - \ref SCIP_STAGE_SOLVED