Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::NoOverlap2DConstraint Class Reference

Detailed Description

Specialized no_overlap2D constraint.

This constraint allows adding rectangles to the no_overlap2D constraint incrementally.

Definition at line 695 of file cp_model.h.

#include <cp_model.h>

Inheritance diagram for operations_research::sat::NoOverlap2DConstraint:
operations_research::sat::Constraint

Public Member Functions

*Adds a rectangle (parallel to the axis) to the const raint. void AddRectangle(IntervalVar x_coordinate
Public Member Functions inherited from operations_research::sat::Constraint
Constraint OnlyEnforceIf (absl::Span< const BoolVar > literals)
Constraint OnlyEnforceIf (BoolVar literal)
 See OnlyEnforceIf(absl::Span<const BoolVar> literals).
Constraint WithName (absl::string_view name)
 Sets the name of the constraint.
absl::string_view Name () const
 Returns the name of the constraint (or the empty string if not set).
const ConstraintProto & Proto () const
 Returns the underlying protobuf object (useful for testing).
ConstraintProto * MutableProto () const
 Returns the mutable underlying protobuf object (useful for model edition).

Public Attributes

*Adds a IntervalVar y_coordinate

Friends

class CpModelBuilder

Additional Inherited Members

Protected Member Functions inherited from operations_research::sat::Constraint
 Constraint (ConstraintProto *proto)
Protected Attributes inherited from operations_research::sat::Constraint
ConstraintProto * proto_ = nullptr

Member Function Documentation

◆ rectangle()

*Adds a operations_research::sat::NoOverlap2DConstraint::rectangle ( parallel to the axis) const

◆ CpModelBuilder

friend class CpModelBuilder
friend

Definition at line 701 of file cp_model.h.

Member Data Documentation

◆ y_coordinate

*Adds a IntervalVar operations_research::sat::NoOverlap2DConstraint::y_coordinate

Definition at line 698 of file cp_model.h.


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