Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::DiffnBaseEvent Struct Reference

Internal methods and data structures, useful for testing. More...

Detailed Description

Internal methods and data structures, useful for testing.

Base event type for scheduling cuts.

Definition at line 55 of file diffn_cuts.h.

#include <diffn_cuts.h>

Inheritance diagram for operations_research::sat::DiffnBaseEvent:
operations_research::sat::DiffnCtEvent operations_research::sat::DiffnEnergyEvent

Public Member Functions

 DiffnBaseEvent (int t, const SchedulingConstraintHelper *x_helper)

Public Attributes

IntegerValue x_start_min
 Cache of the intervals bound on the x direction.
IntegerValue x_start_max
IntegerValue x_end_min
IntegerValue x_end_max
IntegerValue x_size_min
IntegerValue y_min = IntegerValue(0)
 Useful for no_overlap_2d or cumulative.
IntegerValue y_max = IntegerValue(0)
IntegerValue y_size_min
IntegerValue energy_min
 The energy min of this event.
std::vector< LiteralValueValuedecomposed_energy

Constructor & Destructor Documentation

◆ DiffnBaseEvent()

operations_research::sat::DiffnBaseEvent::DiffnBaseEvent ( int t,
const SchedulingConstraintHelper * x_helper )

Definition at line 55 of file diffn_cuts.cc.

Member Data Documentation

◆ decomposed_energy

std::vector<LiteralValueValue> operations_research::sat::DiffnBaseEvent::decomposed_energy

If non empty, a decomposed view of the energy of this event. First value in each pair is x_size, second is y_size.

Definition at line 74 of file diffn_cuts.h.

◆ energy_min

IntegerValue operations_research::sat::DiffnBaseEvent::energy_min

The energy min of this event.

Definition at line 70 of file diffn_cuts.h.

◆ x_end_max

IntegerValue operations_research::sat::DiffnBaseEvent::x_end_max

Definition at line 62 of file diffn_cuts.h.

◆ x_end_min

IntegerValue operations_research::sat::DiffnBaseEvent::x_end_min

Definition at line 61 of file diffn_cuts.h.

◆ x_size_min

IntegerValue operations_research::sat::DiffnBaseEvent::x_size_min

Definition at line 63 of file diffn_cuts.h.

◆ x_start_max

IntegerValue operations_research::sat::DiffnBaseEvent::x_start_max

Definition at line 60 of file diffn_cuts.h.

◆ x_start_min

IntegerValue operations_research::sat::DiffnBaseEvent::x_start_min

Cache of the intervals bound on the x direction.

Definition at line 59 of file diffn_cuts.h.

◆ y_max

IntegerValue operations_research::sat::DiffnBaseEvent::y_max = IntegerValue(0)

Definition at line 66 of file diffn_cuts.h.

◆ y_min

IntegerValue operations_research::sat::DiffnBaseEvent::y_min = IntegerValue(0)

Useful for no_overlap_2d or cumulative.

Definition at line 65 of file diffn_cuts.h.

◆ y_size_min

IntegerValue operations_research::sat::DiffnBaseEvent::y_size_min

Definition at line 67 of file diffn_cuts.h.


The documentation for this struct was generated from the following files: