Detailed Description

Each arc stores the bound on expr[head] - expr[tail] \in [lhs, rhs]. Note that we interpret kMin/kMax integer values as not set. Such bounds will still be valid though because we have a precondition on the input model variables to be within [kMin/2, kMax/2].

Definition at line 155 of file routing_cuts.h.

#include <routing_cuts.h>

Public Member Functions
bool	operator== (const HeadMinusTailBounds &r) const

Public Attributes
IntegerValue	lhs = kMinIntegerValue
IntegerValue	rhs = kMaxIntegerValue

Member Function Documentation

◆ operator==()

bool operations_research::sat::RouteRelationsHelper::HeadMinusTailBounds::operator== ( const HeadMinusTailBounds & r ) const

inline

Definition at line 159 of file routing_cuts.h.

Member Data Documentation

◆ lhs

IntegerValue operations_research::sat::RouteRelationsHelper::HeadMinusTailBounds::lhs = kMinIntegerValue

Definition at line 156 of file routing_cuts.h.

◆ rhs

IntegerValue operations_research::sat::RouteRelationsHelper::HeadMinusTailBounds::rhs = kMaxIntegerValue

Definition at line 157 of file routing_cuts.h.

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

ortools/sat/routing_cuts.h