routing_cuts.h File Reference

#include <stdint.h>
#include <functional>
#include <limits>
#include <optional>
#include <utility>
#include <vector>
#include "absl/types/span.h"
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/cuts.h"
#include "ortools/sat/integer.h"
#include "ortools/sat/model.h"
#include "ortools/sat/sat_base.h"

Go to the source code of this file.

Classes
struct	operations_research::sat::ArcWithLpValue

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.
namespace	operations_research::sat

Functions
void	operations_research::sat::GenerateInterestingSubsets (int num_nodes, const std::vector< std::pair< int, int > > &arcs, int stop_at_num_components, std::vector< int > *subset_data, std::vector< absl::Span< const int > > *subsets)
void	operations_research::sat::ExtractAllSubsetsFromForest (const std::vector< int > &parent, std::vector< int > *subset_data, std::vector< absl::Span< const int > > *subsets, int node_limit)
void	operations_research::sat::SymmetrizeArcs (std::vector< ArcWithLpValue > *arcs)
std::vector< int >	operations_research::sat::ComputeGomoryHuTree (int num_nodes, const std::vector< ArcWithLpValue > &relevant_arcs)
CutGenerator	operations_research::sat::CreateStronglyConnectedGraphCutGenerator (int num_nodes, std::vector< int > tails, std::vector< int > heads, std::vector< Literal > literals, Model *model)
CutGenerator	operations_research::sat::CreateCVRPCutGenerator (int num_nodes, std::vector< int > tails, std::vector< int > heads, std::vector< Literal > literals, std::vector< int64_t > demands, int64_t capacity, Model *model)
CutGenerator	operations_research::sat::CreateFlowCutGenerator (int num_nodes, const std::vector< int > &tails, const std::vector< int > &heads, const std::vector< AffineExpression > &arc_capacities, std::function< void(const std::vector< bool > &in_subset, IntegerValue *min_incoming_flow, IntegerValue *min_outgoing_flow)> get_flows, Model *model)