idol::SideEffectRegistry Struct Reference

Collaboration diagram for idol::SideEffectRegistry:

Public Attributes
unsigned int	n_added_lazy_cuts = 0
unsigned int	n_added_user_cuts = 0
unsigned int	n_added_local_variable_branching = 0

Detailed Description

Definition at line 28 of file AbstractBranchAndBoundCallbackI.h.

Member Data Documentation

n_added_lazy_cuts

unsigned int idol::SideEffectRegistry::n_added_lazy_cuts = 0

Definition at line 29 of file AbstractBranchAndBoundCallbackI.h.

n_added_local_variable_branching

unsigned int idol::SideEffectRegistry::n_added_local_variable_branching = 0

Definition at line 31 of file AbstractBranchAndBoundCallbackI.h.

n_added_user_cuts

unsigned int idol::SideEffectRegistry::n_added_user_cuts = 0

Definition at line 30 of file AbstractBranchAndBoundCallbackI.h.