operations_research::sat::TaskSet Class Reference

Detailed Description

Definition at line 63 of file disjunctive.h.

#include <disjunctive.h>

Public Types
using	Entry = SchedulingConstraintHelper::TaskInfo

Public Member Functions
	TaskSet (FixedCapacityVector< Entry > &storage)
void	Clear ()
void	AddEntry (const Entry &e)
void	AddShiftedStartMinEntry (const SchedulingConstraintHelper &helper, int t)
void	NotifyEntryIsNowLastIfPresent (const Entry &e)
void	AddUnsortedEntry (const Entry &e)
void	Sort ()
IntegerValue	ComputeEndMin (int task_to_ignore, int *critical_index) const
IntegerValue	ComputeEndMin () const
int	GetCriticalIndex () const
absl::Span< const Entry >	SortedTasks () const

Member Typedef Documentation

Entry

using operations_research::sat::TaskSet::Entry = SchedulingConstraintHelper::TaskInfo

Definition at line 65 of file disjunctive.h.

Constructor & Destructor Documentation

TaskSet()

operations_research::sat::TaskSet::TaskSet ( FixedCapacityVector< Entry > & storage )

inlineexplicit

Definition at line 66 of file disjunctive.h.

Member Function Documentation

AddEntry()

void operations_research::sat::TaskSet::AddEntry

(

const Entry &

e

)

Definition at line 178 of file disjunctive.cc.

AddShiftedStartMinEntry()

void operations_research::sat::TaskSet::AddShiftedStartMinEntry	(	const SchedulingConstraintHelper &	helper,
		int	t )

Definition at line 193 of file disjunctive.cc.

AddUnsortedEntry()

void operations_research::sat::TaskSet::AddUnsortedEntry ( const Entry & e )

inline

Definition at line 88 of file disjunctive.h.

Clear()

void operations_research::sat::TaskSet::Clear ( )

inline

Definition at line 70 of file disjunctive.h.

ComputeEndMin() [1/2]

IntegerValue operations_research::sat::TaskSet::ComputeEndMin

(

)

const

Definition at line 217 of file disjunctive.cc.

ComputeEndMin() [2/2]

IntegerValue operations_research::sat::TaskSet::ComputeEndMin	(	int	task_to_ignore,
		int *	critical_index ) const

Definition at line 233 of file disjunctive.cc.

GetCriticalIndex()

int operations_research::sat::TaskSet::GetCriticalIndex ( ) const

inline

Definition at line 116 of file disjunctive.h.

NotifyEntryIsNowLastIfPresent()

void operations_research::sat::TaskSet::NotifyEntryIsNowLastIfPresent

(

const Entry &

e

)

Definition at line 199 of file disjunctive.cc.

Sort()

void operations_research::sat::TaskSet::Sort ( )

inline

Definition at line 89 of file disjunctive.h.

SortedTasks()

absl::Span< const Entry > operations_research::sat::TaskSet::SortedTasks ( ) const

inline

Definition at line 118 of file disjunctive.h.

---

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

• ortools/sat/disjunctive.h
• ortools/sat/disjunctive.cc