This is the complete list of members for idol::SideEffectRegistry, including all inherited members.

n_added_lazy_cuts (defined in idol::SideEffectRegistry)	idol::SideEffectRegistry
n_added_local_variable_branching (defined in idol::SideEffectRegistry)	idol::SideEffectRegistry
n_added_user_cuts (defined in idol::SideEffectRegistry)	idol::SideEffectRegistry