operations_research::sat::TimeTableEdgeFinding Class Reference

Detailed Description

Definition at line 61 of file timetable_edgefinding.h.

#include <timetable_edgefinding.h>

Inheritance diagram for operations_research::sat::TimeTableEdgeFinding:

Public Member Functions
	TimeTableEdgeFinding (AffineExpression capacity, SchedulingConstraintHelper *helper, SchedulingDemandHelper *demands, Model *model)
	TimeTableEdgeFinding (const TimeTableEdgeFinding &)=delete
TimeTableEdgeFinding &	operator= (const TimeTableEdgeFinding &)=delete
bool	Propagate () final
void	RegisterWith (GenericLiteralWatcher *watcher)
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

TimeTableEdgeFinding() [1/2]

operations_research::sat::TimeTableEdgeFinding::TimeTableEdgeFinding	(	AffineExpression	capacity,
		SchedulingConstraintHelper *	helper,
		SchedulingDemandHelper *	demands,
		Model *	model )

Definition at line 31 of file timetable_edgefinding.cc.

TimeTableEdgeFinding() [2/2]

operations_research::sat::TimeTableEdgeFinding::TimeTableEdgeFinding ( const TimeTableEdgeFinding & )

delete

Member Function Documentation

operator=()

TimeTableEdgeFinding & operations_research::sat::TimeTableEdgeFinding::operator= ( const TimeTableEdgeFinding & )

delete

Propagate()

bool operations_research::sat::TimeTableEdgeFinding::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 60 of file timetable_edgefinding.cc.

RegisterWith()

void operations_research::sat::TimeTableEdgeFinding::RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 49 of file timetable_edgefinding.cc.

---

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

• ortools/sat/timetable_edgefinding.h
• ortools/sat/timetable_edgefinding.cc