Public Member Functions
	CachedIntervalData (int t, SchedulingConstraintHelper *helper)

Public Attributes
IntegerValue	start_min

IntegerValue	start_max

AffineExpression	start

IntegerValue	end_min

IntegerValue	end_max

AffineExpression	end

IntegerValue	size_min

IntegerValue	demand_min

Detailed Description

Cached Information about one interval.

Note: everything must correspond to level zero bounds, otherwise the generated cut are not valid.

Definition at line 828 of file scheduling_cuts.cc.

Constructor & Destructor Documentation

◆ CachedIntervalData()

operations_research::sat::CachedIntervalData::CachedIntervalData	(	int	t,
		SchedulingConstraintHelper *	helper )

inline

Definition at line 829 of file scheduling_cuts.cc.

Member Data Documentation

◆ demand_min

IntegerValue operations_research::sat::CachedIntervalData::demand_min

Definition at line 846 of file scheduling_cuts.cc.

◆ end

AffineExpression operations_research::sat::CachedIntervalData::end

Definition at line 843 of file scheduling_cuts.cc.

◆ end_max

IntegerValue operations_research::sat::CachedIntervalData::end_max

Definition at line 842 of file scheduling_cuts.cc.

◆ end_min

IntegerValue operations_research::sat::CachedIntervalData::end_min

Definition at line 841 of file scheduling_cuts.cc.

◆ size_min

IntegerValue operations_research::sat::CachedIntervalData::size_min

Definition at line 844 of file scheduling_cuts.cc.

◆ start

AffineExpression operations_research::sat::CachedIntervalData::start

Definition at line 840 of file scheduling_cuts.cc.

◆ start_max

IntegerValue operations_research::sat::CachedIntervalData::start_max

Definition at line 839 of file scheduling_cuts.cc.

◆ start_min

IntegerValue operations_research::sat::CachedIntervalData::start_min

Definition at line 838 of file scheduling_cuts.cc.

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

ortools/sat/scheduling_cuts.cc

Public Member Functions

Public Attributes