#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

bool	is_positive

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 253 of file cuts.h.

Member Function Documentation

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

inline

Definition at line 266 of file cuts.h.

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

inline

Definition at line 260 of file cuts.h.

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

Definition at line 255 of file cuts.h.

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

Definition at line 258 of file cuts.h.

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

Definition at line 257 of file cuts.h.

bool operations_research::sat::ImpliedBoundsProcessor::BestImpliedBoundInfo::is_positive

Definition at line 256 of file cuts.h.

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

Definition at line 254 of file cuts.h.

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