diffn_util.h File Reference

#include <algorithm>
#include <iosfwd>
#include <limits>
#include <optional>
#include <ostream>
#include <string>
#include <tuple>
#include <utility>
#include <vector>
#include "absl/container/flat_hash_set.h"
#include "absl/container/inlined_vector.h"
#include "absl/log/check.h"
#include "absl/random/bit_gen_ref.h"
#include "absl/strings/str_format.h"
#include "absl/types/span.h"
#include "ortools/sat/integer.h"
#include "ortools/sat/intervals.h"
#include "ortools/util/strong_integers.h"

Go to the source code of this file.

Classes
struct	operations_research::sat::Rectangle
struct	operations_research::sat::IndexedInterval
struct	operations_research::sat::IndexedInterval::ComparatorByStartThenEndThenIndex
struct	operations_research::sat::IndexedInterval::ComparatorByStart
struct	operations_research::sat::ItemForPairwiseRestriction
struct	operations_research::sat::ItemForPairwiseRestriction::Interval
struct	operations_research::sat::PairwiseRestriction
class	operations_research::sat::CapacityProfile
struct	operations_research::sat::CapacityProfile::Rectangle
struct	operations_research::sat::RectangleInRange
class	operations_research::sat::ProbingRectangle
struct	operations_research::sat::FindRectanglesResult

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

Functions
std::vector< absl::Span< int > >	operations_research::sat::GetOverlappingRectangleComponents (absl::Span< const Rectangle > rectangles, absl::Span< int > active_rectangles)
bool	operations_research::sat::BoxesAreInEnergyConflict (const std::vector< Rectangle > &rectangles, const std::vector< IntegerValue > &energies, absl::Span< const int > boxes, Rectangle *conflict)
bool	operations_research::sat::ReportEnergyConflict (Rectangle bounding_box, absl::Span< const int > boxes, SchedulingConstraintHelper *x, SchedulingConstraintHelper *y)
bool	operations_research::sat::AnalyzeIntervals (bool transpose, absl::Span< const int > local_boxes, absl::Span< const Rectangle > rectangles, absl::Span< const IntegerValue > rectangle_energies, IntegerValue *x_threshold, IntegerValue *y_threshold, Rectangle *conflict)
absl::Span< int >	operations_research::sat::FilterBoxesAndRandomize (absl::Span< const Rectangle > cached_rectangles, absl::Span< int > boxes, IntegerValue threshold_x, IntegerValue threshold_y, absl::BitGenRef random)
absl::Span< int >	operations_research::sat::FilterBoxesThatAreTooLarge (absl::Span< const Rectangle > cached_rectangles, absl::Span< const IntegerValue > energies, absl::Span< int > boxes)
std::ostream &	operations_research::sat::operator<< (std::ostream &out, const IndexedInterval &interval)
void	operations_research::sat::ConstructOverlappingSets (bool already_sorted, std::vector< IndexedInterval > *intervals, std::vector< std::vector< int > > *result)
void	operations_research::sat::GetOverlappingIntervalComponents (std::vector< IndexedInterval > *intervals, std::vector< std::vector< int > > *components)
std::vector< int >	operations_research::sat::GetIntervalArticulationPoints (std::vector< IndexedInterval > *intervals)
void	operations_research::sat::AppendPairwiseRestrictions (absl::Span< const ItemForPairwiseRestriction > items, std::vector< PairwiseRestriction > *result)
void	operations_research::sat::AppendPairwiseRestrictions (absl::Span< const ItemForPairwiseRestriction > items, absl::Span< const ItemForPairwiseRestriction > other_items, std::vector< PairwiseRestriction > *result)
IntegerValue	operations_research::sat::Smallest1DIntersection (IntegerValue range_min, IntegerValue range_max, IntegerValue size, IntegerValue interval_min, IntegerValue interval_max)
FindRectanglesResult	operations_research::sat::FindRectanglesWithEnergyConflictMC (const std::vector< RectangleInRange > &intervals, absl::BitGenRef random, double temperature, double candidate_energy_usage_factor)
std::string	operations_research::sat::RenderDot (std::optional< Rectangle > bb, absl::Span< const Rectangle > solution)
std::vector< Rectangle >	operations_research::sat::FindEmptySpaces (const Rectangle &bounding_box, std::vector< Rectangle > ocupied_rectangles)