Create(int num_nodes, const std::vector< int > &tails, const std::vector< int > &heads, const std::vector< Literal > &literals, absl::Span< const AffineExpression > flat_node_dim_expressions, const BinaryRelationRepository &binary_relation_repository, Model *model) | operations_research::sat::RouteRelationsHelper | static |
GetArcOffsetLowerBound(int arc, int dimension, bool negate_expressions) const | operations_research::sat::RouteRelationsHelper | |
GetArcRelation(int arc, int dimension) const | operations_research::sat::RouteRelationsHelper | inline |
GetNodeExpression(int node, int dimension) const | operations_research::sat::RouteRelationsHelper | inline |
HasShortestPathsInformation() const | operations_research::sat::RouteRelationsHelper | inline |
num_arcs() const | operations_research::sat::RouteRelationsHelper | inline |
num_dimensions() const | operations_research::sat::RouteRelationsHelper | inline |
num_nodes() const | operations_research::sat::RouteRelationsHelper | inline |
PathExists(int tail, int head) const | operations_research::sat::RouteRelationsHelper | inline |
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 | operations_research::sat::RouteRelationsHelper | inline |
RemoveArcs(absl::Span< const int > sorted_arc_indices) | operations_research::sat::RouteRelationsHelper | |
RouteRelationsHelper()=default | operations_research::sat::RouteRelationsHelper | |