AddOrUpdateEvent(int event, IntegerType initial_envelope, IntegerType energy_min, IntegerType energy_max) | operations_research::sat::ThetaLambdaTree< IntegerType > | |
AddOrUpdateOptionalEvent(int event, IntegerType initial_envelope_opt, IntegerType energy_max) | operations_research::sat::ThetaLambdaTree< IntegerType > | |
DelayedAddOrUpdateEvent(int event, IntegerType initial_envelope, IntegerType energy_min, IntegerType energy_max) | operations_research::sat::ThetaLambdaTree< IntegerType > | |
DelayedAddOrUpdateOptionalEvent(int event, IntegerType initial_envelope_opt, IntegerType energy_max) | operations_research::sat::ThetaLambdaTree< IntegerType > | |
DelayedRemoveEvent(int event) | operations_research::sat::ThetaLambdaTree< IntegerType > | |
EnergyMin(int event) const | operations_research::sat::ThetaLambdaTree< IntegerType > | inline |
GetEnvelope() const | operations_research::sat::ThetaLambdaTree< IntegerType > | |
GetEnvelopeOf(int event) const | operations_research::sat::ThetaLambdaTree< IntegerType > | |
GetEventsWithOptionalEnvelopeGreaterThan(IntegerType target_envelope, int *critical_event, int *optional_event, IntegerType *available_energy) const | operations_research::sat::ThetaLambdaTree< IntegerType > | |
GetMaxEventWithEnvelopeGreaterThan(IntegerType target_envelope) const | operations_research::sat::ThetaLambdaTree< IntegerType > | |
GetOptionalEnvelope() const | operations_research::sat::ThetaLambdaTree< IntegerType > | |
RecomputeTreeForDelayedOperations() | operations_research::sat::ThetaLambdaTree< IntegerType > | |
RemoveEvent(int event) | operations_research::sat::ThetaLambdaTree< IntegerType > | |
Reset(int num_events) | operations_research::sat::ThetaLambdaTree< IntegerType > | |
ThetaLambdaTree() | operations_research::sat::ThetaLambdaTree< IntegerType > | |