operations_research::sat::RouteRelationsHelper Class Reference

Detailed Description

Definition at line 116 of file routing_cuts.h.

#include <routing_cuts.h>

Classes
struct	HeadMinusTailBounds

Public Member Functions
	RouteRelationsHelper ()=default
int	num_dimensions () const
int	num_nodes () const
int	num_arcs () const
const AffineExpression &	GetNodeExpression (int node, int dimension) const
const HeadMinusTailBounds &	GetArcRelation (int arc, int dimension) const
bool	HasShortestPathsInformation () const
bool	PathExists (int tail, int head) const
bool	PropagateLocalBoundsUsingShortestPaths (const IntegerTrail &integer_trail, int tail, int head, const absl::flat_hash_map< IntegerVariable, IntegerValue > &input, absl::flat_hash_map< IntegerVariable, IntegerValue > *output) const
IntegerValue	GetArcOffsetLowerBound (int arc, int dimension, bool negate_expressions) const
void	RemoveArcs (absl::Span< const int > sorted_arc_indices)

Static Public Member Functions
static std::unique_ptr< RouteRelationsHelper >	Create (int num_nodes, absl::Span< const int > tails, absl::Span< const int > heads, absl::Span< const Literal > literals, absl::Span< const AffineExpression > flat_node_dim_expressions, const ConditionalLinear2Bounds &binary_relation_repository, Model *model)

Constructor & Destructor Documentation

RouteRelationsHelper()

operations_research::sat::RouteRelationsHelper::RouteRelationsHelper ( )

default

Member Function Documentation

Create()

std::unique_ptr< RouteRelationsHelper > operations_research::sat::RouteRelationsHelper::Create ( int num_nodes, absl::Span< const int > tails, absl::Span< const int > heads, absl::Span< const Literal > literals, absl::Span< const AffineExpression > flat_node_dim_expressions, const ConditionalLinear2Bounds & binary_relation_repository, Model * model )

static

Definition at line 1788 of file routing_cuts.cc.

GetArcOffsetLowerBound()

IntegerValue operations_research::sat::RouteRelationsHelper::GetArcOffsetLowerBound	(	int	arc,
		int	dimension,
		bool	negate_expressions ) const

Definition at line 1821 of file routing_cuts.cc.

GetArcRelation()

const HeadMinusTailBounds & operations_research::sat::RouteRelationsHelper::GetArcRelation ( int arc, int dimension ) const

inline

Definition at line 163 of file routing_cuts.h.

GetNodeExpression()

const AffineExpression & operations_research::sat::RouteRelationsHelper::GetNodeExpression ( int node, int dimension ) const

inline

Definition at line 147 of file routing_cuts.h.

HasShortestPathsInformation()

bool operations_research::sat::RouteRelationsHelper::HasShortestPathsInformation ( ) const

inline

Definition at line 170 of file routing_cuts.h.

num_arcs()

int operations_research::sat::RouteRelationsHelper::num_arcs ( ) const

inline

Definition at line 142 of file routing_cuts.h.

num_dimensions()

int operations_research::sat::RouteRelationsHelper::num_dimensions ( ) const

inline

Definition at line 136 of file routing_cuts.h.

num_nodes()

int operations_research::sat::RouteRelationsHelper::num_nodes ( ) const

inline

Definition at line 138 of file routing_cuts.h.

PathExists()

bool operations_research::sat::RouteRelationsHelper::PathExists ( int tail, int head ) const

inline

Definition at line 176 of file routing_cuts.h.

PropagateLocalBoundsUsingShortestPaths()

bool operations_research::sat::RouteRelationsHelper::PropagateLocalBoundsUsingShortestPaths ( const IntegerTrail & integer_trail, int tail, int head, const absl::flat_hash_map< IntegerVariable, IntegerValue > & input, absl::flat_hash_map< IntegerVariable, IntegerValue > * output ) const

inline

Definition at line 189 of file routing_cuts.h.

RemoveArcs()

void operations_research::sat::RouteRelationsHelper::RemoveArcs

(

absl::Span< const int >

sorted_arc_indices

)

Definition at line 1829 of file routing_cuts.cc.

---

The documentation for this class was generated from the following files:

• ortools/sat/routing_cuts.h
• ortools/sat/routing_cuts.cc