operations_research::sat::IntervalsRepository Member List

This is the complete list of members for operations_research::sat::IntervalsRepository, including all inherited members.

AllCumulativeHelpers() const	operations_research::sat::IntervalsRepository	inline
AllDisjunctiveHelpers() const	operations_research::sat::IntervalsRepository	inline
AllIntervals() const	operations_research::sat::IntervalsRepository	inline
CreateDisjunctivePrecedenceLiteral(IntervalVariable a, IntervalVariable b)	operations_research::sat::IntervalsRepository
CreateInterval(IntegerVariable start, IntegerVariable end, IntegerVariable size, IntegerValue fixed_size, LiteralIndex is_present)	operations_research::sat::IntervalsRepository
CreateInterval(AffineExpression start, AffineExpression end, AffineExpression size, LiteralIndex is_present=kNoLiteralIndex, bool add_linear_relation=false)	operations_research::sat::IntervalsRepository
CreatePrecedenceLiteral(IntervalVariable a, IntervalVariable b)	operations_research::sat::IntervalsRepository
End(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
GetOrCreateDemandHelper(SchedulingConstraintHelper *helper, absl::Span< const AffineExpression > demands)	operations_research::sat::IntervalsRepository
GetOrCreateHelper(const std::vector< IntervalVariable > &variables, bool register_as_disjunctive_helper=false)	operations_research::sat::IntervalsRepository
GetPrecedenceLiteral(IntervalVariable a, IntervalVariable b) const	operations_research::sat::IntervalsRepository
InitAllDecomposedEnergies()	operations_research::sat::IntervalsRepository
IntervalsRepository(Model *model)	operations_research::sat::IntervalsRepository	inlineexplicit
IntervalsRepository(const IntervalsRepository &)=delete	operations_research::sat::IntervalsRepository
IsAbsent(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
IsOptional(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
IsPresent(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
MaxSize(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
MinSize(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
NumIntervals() const	operations_research::sat::IntervalsRepository	inline
operator=(const IntervalsRepository &)=delete	operations_research::sat::IntervalsRepository
PresenceLiteral(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
RegisterCumulative(CumulativeHelper helper)	operations_research::sat::IntervalsRepository	inline
Size(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
Start(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline