Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::RouteRelationsHelper::HeadMinusTailBounds Struct Reference

#include <routing_cuts.h>

Public Member Functions

bool operator== (const HeadMinusTailBounds &r) const

Public Attributes

IntegerValue lhs = kMinIntegerValue
IntegerValue rhs = kMaxIntegerValue

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.

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: