Detailed Description

Definition at line 153 of file scheduling_cuts.h.

#include <scheduling_cuts.h>

Public Member Functions
	CtExhaustiveHelper ()=default
int	max_task_index () const
const CompactVectorVector< int > &	predecessors () const
void	Init (absl::Span< const CompletionTimeEvent > events, Model *model)
bool	PermutationIsCompatibleWithPrecedences (absl::Span< const CompletionTimeEvent > events, absl::Span< const int > permutation)

Public Attributes
std::vector< std::pair< IntegerValue, IntegerValue > >	profile_
	Temporary data.
std::vector< std::pair< IntegerValue, IntegerValue > >	new_profile_
std::vector< IntegerValue >	assigned_ends_
std::vector< int >	task_to_index_
DagTopologicalSortIterator	valid_permutation_iterator_
std::vector< CompletionTimeEvent >	residual_events_

Constructor & Destructor Documentation

◆ CtExhaustiveHelper()

operations_research::sat::CtExhaustiveHelper::CtExhaustiveHelper ( )

default

Member Function Documentation

◆ Init()

void operations_research::sat::CtExhaustiveHelper::Init	(	absl::Span< const CompletionTimeEvent >	events,
		Model *	model )

Collect precedences, set max_task_index.

Todo: (user): Do some transitive closure.

We compute the max_task_index_ from the events early to avoid sorting the events if there are too many of them.

Definition at line 1103 of file scheduling_cuts.cc.

◆ max_task_index()

int operations_research::sat::CtExhaustiveHelper::max_task_index ( ) const

inline

Definition at line 157 of file scheduling_cuts.h.

◆ PermutationIsCompatibleWithPrecedences()

bool operations_research::sat::CtExhaustiveHelper::PermutationIsCompatibleWithPrecedences	(	absl::Span< const CompletionTimeEvent >	events,
		absl::Span< const int >	permutation )

Definition at line 1138 of file scheduling_cuts.cc.

◆ predecessors()

const CompactVectorVector< int > & operations_research::sat::CtExhaustiveHelper::predecessors ( ) const

inline

Definition at line 158 of file scheduling_cuts.h.

Member Data Documentation

◆ assigned_ends_

std::vector<IntegerValue> operations_research::sat::CtExhaustiveHelper::assigned_ends_

Definition at line 163 of file scheduling_cuts.h.

◆ new_profile_

std::vector<std::pair<IntegerValue, IntegerValue> > operations_research::sat::CtExhaustiveHelper::new_profile_

Definition at line 162 of file scheduling_cuts.h.

◆ profile_

std::vector<std::pair<IntegerValue, IntegerValue> > operations_research::sat::CtExhaustiveHelper::profile_

Temporary data.

Definition at line 161 of file scheduling_cuts.h.

◆ residual_events_

std::vector<CompletionTimeEvent> operations_research::sat::CtExhaustiveHelper::residual_events_

Definition at line 166 of file scheduling_cuts.h.

◆ task_to_index_

std::vector<int> operations_research::sat::CtExhaustiveHelper::task_to_index_

Definition at line 164 of file scheduling_cuts.h.

◆ valid_permutation_iterator_

DagTopologicalSortIterator operations_research::sat::CtExhaustiveHelper::valid_permutation_iterator_

Definition at line 165 of file scheduling_cuts.h.

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

ortools/sat/scheduling_cuts.h
ortools/sat/scheduling_cuts.cc