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

#include <diffn_cuts.h>

Inheritance diagram for operations_research::sat::DiffnBaseEvent:

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< LiteralValueValue >	decomposed_energy

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.

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:

ortools/sat/diffn_cuts.h
ortools/sat/diffn_cuts.cc

Public Member Functions

Public Attributes