operations_research::sat::ReservoirTimeTabling Class Reference

Detailed Description

Definition at line 52 of file timetable.h.

#include <timetable.h>

Inheritance diagram for operations_research::sat::ReservoirTimeTabling:

Public Member Functions
	ReservoirTimeTabling (absl::Span< const Literal > enforcement_literals, absl::Span< const AffineExpression > times, absl::Span< const AffineExpression > deltas, absl::Span< const Literal > presences, IntegerValue capacity, Model *model)
bool	Propagate () final
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

ReservoirTimeTabling()

operations_research::sat::ReservoirTimeTabling::ReservoirTimeTabling	(	absl::Span< const Literal >	enforcement_literals,
		absl::Span< const AffineExpression >	times,
		absl::Span< const AffineExpression >	deltas,
		absl::Span< const Literal >	presences,
		IntegerValue	capacity,
		Model *	model )

Definition at line 63 of file timetable.cc.

Member Function Documentation

Propagate()

bool operations_research::sat::ReservoirTimeTabling::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 96 of file timetable.cc.

---

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

• ortools/sat/timetable.h
• ortools/sat/timetable.cc