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
CreatePrecedenceLiteralIfNonTrivial(AffineExpression x, AffineExpression y)	operations_research::sat::IntervalsRepository
End(IntervalVariable i) const	operations_research::sat::IntervalsRepository	inline
GetOrCreate2DHelper(const std::vector< IntervalVariable > &x_variables, const std::vector< IntervalVariable > &y_variables)	operations_research::sat::IntervalsRepository
GetOrCreateDemandHelper(SchedulingConstraintHelper *helper, absl::Span< const AffineExpression > demands)	operations_research::sat::IntervalsRepository
GetOrCreateDisjunctivePrecedenceLiteralIfNonTrivial(const IntervalDefinition &a, const IntervalDefinition &b)	operations_research::sat::IntervalsRepository
GetOrCreateHelper(const std::vector< IntervalVariable > &variables, bool register_as_disjunctive_helper=false)	operations_research::sat::IntervalsRepository
GetOrCreatePrecedenceLiteral(AffineExpression x, AffineExpression y)	operations_research::sat::IntervalsRepository
GetPrecedenceLiteral(AffineExpression x, AffineExpression y) const	operations_research::sat::IntervalsRepository
InitAllDecomposedEnergies()	operations_research::sat::IntervalsRepository
IntervalsRepository(Model *model)	operations_research::sat::IntervalsRepository	explicit
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