Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Google.OrTools.Sat.ReservoirConstraintProto Class Referencesealed

Maintain a reservoir level within bounds. The water level starts at 0, and at any time, it must be within [min_level, max_level]. More...

Detailed Description

Maintain a reservoir level within bounds. The water level starts at 0, and at any time, it must be within [min_level, max_level].

If the variable active_literals[i] is true, and if the expression time_exprs[i] is assigned a value t, then the current level changes by level_changes[i] at the time t. Therefore, at any time t: sum(level_changes[i] * active_literals[i] if time_exprs[i] <= t) in [min_level, max_level]

Note
min level must be <= 0, and the max level must be >= 0. Please use fixed level_changes to simulate initial state. The array of boolean variables 'actives', if defined, indicates which actions are actually performed. If this array is not defined, then it is assumed that all actions will be performed.

Definition at line 3106 of file CpModel.pb.cs.

Inheritance diagram for Google.OrTools.Sat.ReservoirConstraintProto:

Public Member Functions

 ReservoirConstraintProto ()
 ReservoirConstraintProto (ReservoirConstraintProto other)
ReservoirConstraintProto Clone ()
override bool Equals (object other)
bool Equals (ReservoirConstraintProto other)
override int GetHashCode ()
override string ToString ()
void WriteTo (pb::CodedOutputStream output)
int CalculateSize ()
void MergeFrom (ReservoirConstraintProto other)
void MergeFrom (pb::CodedInputStream input)

Static Public Attributes

const int MinLevelFieldNumber = 1
 Field number for the "min_level" field.
const int MaxLevelFieldNumber = 2
 Field number for the "max_level" field.
const int TimeExprsFieldNumber = 3
 Field number for the "time_exprs" field.
const int LevelChangesFieldNumber = 6
 Field number for the "level_changes" field.
const int ActiveLiteralsFieldNumber = 5
 Field number for the "active_literals" field.

Properties

static pb::MessageParser< ReservoirConstraintProto > Parser [get]
static pbr::MessageDescriptor Descriptor [get]
long MinLevel [get, set]
long MaxLevel [get, set]
pbc::RepeatedField< global::Google.OrTools.Sat.LinearExpressionProto > TimeExprs [get]
 affine expressions.
pbc::RepeatedField< global::Google.OrTools.Sat.LinearExpressionProto > LevelChanges [get]
 Currently, we only support constant level changes.
pbc::RepeatedField< int > ActiveLiterals [get]

Constructor & Destructor Documentation

◆ ReservoirConstraintProto() [1/2]

Google.OrTools.Sat.ReservoirConstraintProto.ReservoirConstraintProto ( )
inline

Definition at line 3131 of file CpModel.pb.cs.

◆ ReservoirConstraintProto() [2/2]

Google.OrTools.Sat.ReservoirConstraintProto.ReservoirConstraintProto ( ReservoirConstraintProto other)
inline

Definition at line 3139 of file CpModel.pb.cs.

Member Function Documentation

◆ CalculateSize()

int Google.OrTools.Sat.ReservoirConstraintProto.CalculateSize ( )
inline

Definition at line 3307 of file CpModel.pb.cs.

◆ Clone()

ReservoirConstraintProto Google.OrTools.Sat.ReservoirConstraintProto.Clone ( )
inline

Definition at line 3150 of file CpModel.pb.cs.

◆ Equals() [1/2]

override bool Google.OrTools.Sat.ReservoirConstraintProto.Equals ( object other)
inline

Definition at line 3219 of file CpModel.pb.cs.

◆ Equals() [2/2]

bool Google.OrTools.Sat.ReservoirConstraintProto.Equals ( ReservoirConstraintProto other)
inline

Definition at line 3225 of file CpModel.pb.cs.

◆ GetHashCode()

override int Google.OrTools.Sat.ReservoirConstraintProto.GetHashCode ( )
inline

Definition at line 3242 of file CpModel.pb.cs.

◆ MergeFrom() [1/2]

void Google.OrTools.Sat.ReservoirConstraintProto.MergeFrom ( pb.CodedInputStream input)
inline

Definition at line 3344 of file CpModel.pb.cs.

◆ MergeFrom() [2/2]

void Google.OrTools.Sat.ReservoirConstraintProto.MergeFrom ( ReservoirConstraintProto other)
inline

Definition at line 3326 of file CpModel.pb.cs.

◆ ToString()

override string Google.OrTools.Sat.ReservoirConstraintProto.ToString ( )
inline

Definition at line 3257 of file CpModel.pb.cs.

◆ WriteTo()

void Google.OrTools.Sat.ReservoirConstraintProto.WriteTo ( pb.CodedOutputStream output)
inline

Definition at line 3263 of file CpModel.pb.cs.

Member Data Documentation

◆ ActiveLiteralsFieldNumber

const int Google.OrTools.Sat.ReservoirConstraintProto.ActiveLiteralsFieldNumber = 5
static

Field number for the "active_literals" field.

Definition at line 3207 of file CpModel.pb.cs.

◆ LevelChangesFieldNumber

const int Google.OrTools.Sat.ReservoirConstraintProto.LevelChangesFieldNumber = 6
static

Field number for the "level_changes" field.

Definition at line 3193 of file CpModel.pb.cs.

◆ MaxLevelFieldNumber

const int Google.OrTools.Sat.ReservoirConstraintProto.MaxLevelFieldNumber = 2
static

Field number for the "max_level" field.

Definition at line 3167 of file CpModel.pb.cs.

◆ MinLevelFieldNumber

const int Google.OrTools.Sat.ReservoirConstraintProto.MinLevelFieldNumber = 1
static

Field number for the "min_level" field.

Definition at line 3155 of file CpModel.pb.cs.

◆ TimeExprsFieldNumber

const int Google.OrTools.Sat.ReservoirConstraintProto.TimeExprsFieldNumber = 3
static

Field number for the "time_exprs" field.

Definition at line 3179 of file CpModel.pb.cs.

Property Documentation

◆ ActiveLiterals

pbc.RepeatedField<int> Google.OrTools.Sat.ReservoirConstraintProto.ActiveLiterals
get

Definition at line 3213 of file CpModel.pb.cs.

◆ Descriptor

pbr.MessageDescriptor Google.OrTools.Sat.ReservoirConstraintProto.Descriptor
staticget

Definition at line 3119 of file CpModel.pb.cs.

◆ LevelChanges

pbc.RepeatedField<global.Google.OrTools.Sat.LinearExpressionProto> Google.OrTools.Sat.ReservoirConstraintProto.LevelChanges
get

Currently, we only support constant level changes.

Definition at line 3202 of file CpModel.pb.cs.

◆ MaxLevel

long Google.OrTools.Sat.ReservoirConstraintProto.MaxLevel
getset

Definition at line 3171 of file CpModel.pb.cs.

◆ MinLevel

long Google.OrTools.Sat.ReservoirConstraintProto.MinLevel
getset

Definition at line 3159 of file CpModel.pb.cs.

◆ Parser

pb.MessageParser<ReservoirConstraintProto> Google.OrTools.Sat.ReservoirConstraintProto.Parser
staticget

Definition at line 3115 of file CpModel.pb.cs.

◆ TimeExprs

pbc.RepeatedField<global.Google.OrTools.Sat.LinearExpressionProto> Google.OrTools.Sat.ReservoirConstraintProto.TimeExprs
get

affine expressions.

Definition at line 3188 of file CpModel.pb.cs.

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