Google OR-Tools v9.15
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 3098 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]
pbc::RepeatedField< global::Google.OrTools.Sat.LinearExpressionProto > LevelChanges [get]
pbc::RepeatedField< int > ActiveLiterals [get]

Constructor & Destructor Documentation

◆ ReservoirConstraintProto() [1/2]

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

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

◆ ReservoirConstraintProto() [2/2]

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

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

Member Function Documentation

◆ CalculateSize()

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

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

◆ Clone()

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

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

◆ Equals() [1/2]

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

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

◆ Equals() [2/2]

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

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

◆ GetHashCode()

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

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

◆ MergeFrom() [1/2]

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

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

◆ MergeFrom() [2/2]

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

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

◆ ToString()

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

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

◆ WriteTo()

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

Definition at line 3249 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 3193 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 3182 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 3159 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 3147 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 3171 of file CpModel.pb.cs.

Property Documentation

◆ ActiveLiterals

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

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

◆ Descriptor

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

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

◆ LevelChanges

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

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

◆ MaxLevel

long Google.OrTools.Sat.ReservoirConstraintProto.MaxLevel
getset

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

◆ MinLevel

long Google.OrTools.Sat.ReservoirConstraintProto.MinLevel
getset

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

◆ Parser

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

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

◆ TimeExprs

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

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

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