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 868 of file scheduling_cuts.cc.

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

Constructor & Destructor Documentation

◆ CachedIntervalData()

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

inline

Definition at line 869 of file scheduling_cuts.cc.

Member Data Documentation

◆ demand_min

IntegerValue operations_research::sat::CachedIntervalData::demand_min

Definition at line 886 of file scheduling_cuts.cc.

◆ end

AffineExpression operations_research::sat::CachedIntervalData::end

Definition at line 883 of file scheduling_cuts.cc.

◆ end_max

IntegerValue operations_research::sat::CachedIntervalData::end_max

Definition at line 882 of file scheduling_cuts.cc.

◆ end_min

IntegerValue operations_research::sat::CachedIntervalData::end_min

Definition at line 881 of file scheduling_cuts.cc.

◆ size_min

IntegerValue operations_research::sat::CachedIntervalData::size_min

Definition at line 884 of file scheduling_cuts.cc.

◆ start

AffineExpression operations_research::sat::CachedIntervalData::start

Definition at line 880 of file scheduling_cuts.cc.

◆ start_max

IntegerValue operations_research::sat::CachedIntervalData::start_max

Definition at line 879 of file scheduling_cuts.cc.

◆ start_min

IntegerValue operations_research::sat::CachedIntervalData::start_min

Definition at line 878 of file scheduling_cuts.cc.

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

ortools/sat/scheduling_cuts.cc