#include <cuts.h>

Public Member Functions
double	SlackLpValue (IntegerValue lb) const
std::string	DebugString () const

Public Attributes
double	var_lp_value = 0.0
double	bool_lp_value = 0.0
IntegerValue	implied_bound
IntegerVariable	bool_var = kNoIntegerVariable

Detailed Description

Once RecomputeCacheAndSeparateSomeImpliedBoundCuts() has been called, we can get the best implied bound for each variables.

Note: because the variable level zero lower bound might change since the time this was cached, we just store the implied bound here.

Definition at line 263 of file cuts.h.

Member Function Documentation

std::string operations_research::sat::ImpliedBoundsProcessor::BestImpliedBoundInfo::DebugString ( ) const

inline

Definition at line 278 of file cuts.h.

double operations_research::sat::ImpliedBoundsProcessor::BestImpliedBoundInfo::SlackLpValue ( IntegerValue lb ) const

inline

Definition at line 272 of file cuts.h.

double operations_research::sat::ImpliedBoundsProcessor::BestImpliedBoundInfo::bool_lp_value = 0.0

Definition at line 265 of file cuts.h.

IntegerVariable operations_research::sat::ImpliedBoundsProcessor::BestImpliedBoundInfo::bool_var = kNoIntegerVariable

When VariableIsPositive(bool_var) then it is when this is one that the bound is implied. Otherwise it is when this is zero.

Definition at line 270 of file cuts.h.

IntegerValue operations_research::sat::ImpliedBoundsProcessor::BestImpliedBoundInfo::implied_bound

Definition at line 266 of file cuts.h.

double operations_research::sat::ImpliedBoundsProcessor::BestImpliedBoundInfo::var_lp_value = 0.0

Definition at line 264 of file cuts.h.

The documentation for this struct was generated from the following file: