operations_research::sat::NoOverlap2DConstraintHelper Member List

This is the complete list of members for operations_research::sat::NoOverlap2DConstraintHelper, including all inherited members.

AddBottomMaxReason(int index, IntegerValue upper_bound)	operations_research::sat::NoOverlap2DConstraintHelper	inline
AddBottomMinReason(int index, IntegerValue lower_bound)	operations_research::sat::NoOverlap2DConstraintHelper	inline
AddLeftMaxReason(int index, IntegerValue upper_bound)	operations_research::sat::NoOverlap2DConstraintHelper	inline
AddLeftMinReason(int index, IntegerValue lower_bound)	operations_research::sat::NoOverlap2DConstraintHelper	inline
AddPresenceReason(int index)	operations_research::sat::NoOverlap2DConstraintHelper	inline
AddSizeMinReason(int index)	operations_research::sat::NoOverlap2DConstraintHelper	inline
AddXSizeMinReason(int index)	operations_research::sat::NoOverlap2DConstraintHelper	inline
AddYSizeMinReason(int index)	operations_research::sat::NoOverlap2DConstraintHelper	inline
ClearReason()	operations_research::sat::NoOverlap2DConstraintHelper	inline
connected_components() const	operations_research::sat::NoOverlap2DConstraintHelper	inline
GetBoundingRectangle(int index) const	operations_research::sat::NoOverlap2DConstraintHelper	inline
GetBoxSizesMax(int index) const	operations_research::sat::NoOverlap2DConstraintHelper	inline
GetItemRangeForSizeMin(int index) const	operations_research::sat::NoOverlap2DConstraintHelper
GetItemWithVariableSize(int index) const	operations_research::sat::NoOverlap2DConstraintHelper
GetLevelZeroBoundingRectangle(int index) const	operations_research::sat::NoOverlap2DConstraintHelper	inline
GetLevelZeroBoxSizesMin(int index) const	operations_research::sat::NoOverlap2DConstraintHelper	inline
IncreaseLeftMin(int index, IntegerValue new_lower_bound)	operations_research::sat::NoOverlap2DConstraintHelper	inline
IncrementalPropagate(const std::vector< int > &)	operations_research::sat::PropagatorInterface	inlinevirtual
InProcessingCount() const	operations_research::sat::NoOverlap2DConstraintHelper	inline
IsAbsent(int index) const	operations_research::sat::NoOverlap2DConstraintHelper	inline
IsFixed(int index) const	operations_research::sat::NoOverlap2DConstraintHelper	inline
IsOptional(int index) const	operations_research::sat::NoOverlap2DConstraintHelper	inline
IsPresent(int index) const	operations_research::sat::NoOverlap2DConstraintHelper	inline
LastLevelZeroChangeIdx() const	operations_research::sat::NoOverlap2DConstraintHelper	inline
NoOverlap2DConstraintHelper(std::vector< AffineExpression > x_starts, std::vector< AffineExpression > x_ends, std::vector< AffineExpression > x_sizes, std::vector< LiteralIndex > x_reason_for_presence, std::vector< AffineExpression > y_starts, std::vector< AffineExpression > y_ends, std::vector< AffineExpression > y_sizes, std::vector< LiteralIndex > y_reason_for_presence, Model *model)	operations_research::sat::NoOverlap2DConstraintHelper	inline
NumBoxes() const	operations_research::sat::NoOverlap2DConstraintHelper	inline
Propagate() override	operations_research::sat::NoOverlap2DConstraintHelper	virtual
PropagateRelativePosition(int first, int second, PairwiseRestriction::PairwiseRestrictionType type)	operations_research::sat::NoOverlap2DConstraintHelper
PropagatorInterface()=default	operations_research::sat::PropagatorInterface
RegisterWith(GenericLiteralWatcher *watcher)	operations_research::sat::NoOverlap2DConstraintHelper
ReportConflict()	operations_research::sat::NoOverlap2DConstraintHelper	inline
ReportConflictFromInfeasibleBoxRanges(absl::Span< const RectangleInRange > ranges)	operations_research::sat::NoOverlap2DConstraintHelper
ReportConflictFromTwoBoxes(int box1, int box2)	operations_research::sat::NoOverlap2DConstraintHelper
SynchronizeAndSetDirection(bool x_is_forward_after_swap=true, bool y_is_forward_after_swap=true, bool swap_x_and_y=false)	operations_research::sat::NoOverlap2DConstraintHelper
WatchAllBoxes(int id)	operations_research::sat::NoOverlap2DConstraintHelper	inline
x_demands_helper()	operations_research::sat::NoOverlap2DConstraintHelper
x_helper() const	operations_research::sat::NoOverlap2DConstraintHelper	inline
y_demands_helper()	operations_research::sat::NoOverlap2DConstraintHelper
y_helper() const	operations_research::sat::NoOverlap2DConstraintHelper	inline
~PropagatorInterface()=default	operations_research::sat::PropagatorInterface	virtual