Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Classes | Public Member Functions | Static Public Attributes | Properties | List of all members
Google.OrTools.Sat.DecisionStrategyProto Class Referencesealed

Define the strategy to follow when the solver needs to take a new decision. More...

Inheritance diagram for Google.OrTools.Sat.DecisionStrategyProto:

Classes

class  Types
 Container for nested types declared in the DecisionStrategyProto message type. More...
 

Public Member Functions

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

Static Public Attributes

const int VariablesFieldNumber = 1
 Field number for the "variables" field.
 
const int ExprsFieldNumber = 5
 Field number for the "exprs" field.
 
const int VariableSelectionStrategyFieldNumber = 2
 Field number for the "variable_selection_strategy" field.
 
const int DomainReductionStrategyFieldNumber = 3
 Field number for the "domain_reduction_strategy" field.
 

Properties

static pb::MessageParser< DecisionStrategyProto > Parser [get]
 
static pbr::MessageDescriptor Descriptor [get]
 
pbc::RepeatedField< int > Variables [get]
 The variables to be considered for the next decision. The order matter and is always used as a tie-breaker after the variable selection strategy criteria defined below.
 
pbc::RepeatedField< global::Google.OrTools.Sat.LinearExpressionProto > Exprs [get]
 If this is set, then the variables field must be empty. We currently only support affine expression.
 
global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy VariableSelectionStrategy [get, set]
 
global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy DomainReductionStrategy [get, set]
 

Detailed Description

Define the strategy to follow when the solver needs to take a new decision.

Note
this strategy is only defined on a subset of variables.

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

Constructor & Destructor Documentation

◆ DecisionStrategyProto() [1/2]

Google.OrTools.Sat.DecisionStrategyProto.DecisionStrategyProto ( )
inline

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

◆ DecisionStrategyProto() [2/2]

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

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

Member Function Documentation

◆ CalculateSize()

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

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

◆ Clone()

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

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

◆ Equals() [1/2]

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

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

◆ Equals() [2/2]

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

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

◆ GetHashCode()

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

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

◆ MergeFrom() [1/2]

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

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

◆ MergeFrom() [2/2]

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

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

◆ ToString()

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

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

◆ WriteTo()

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

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

Member Data Documentation

◆ DomainReductionStrategyFieldNumber

const int Google.OrTools.Sat.DecisionStrategyProto.DomainReductionStrategyFieldNumber = 3
static

Field number for the "domain_reduction_strategy" field.

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

◆ ExprsFieldNumber

const int Google.OrTools.Sat.DecisionStrategyProto.ExprsFieldNumber = 5
static

Field number for the "exprs" field.

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

◆ VariableSelectionStrategyFieldNumber

const int Google.OrTools.Sat.DecisionStrategyProto.VariableSelectionStrategyFieldNumber = 2
static

Field number for the "variable_selection_strategy" field.

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

◆ VariablesFieldNumber

const int Google.OrTools.Sat.DecisionStrategyProto.VariablesFieldNumber = 1
static

Field number for the "variables" field.

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

Property Documentation

◆ Descriptor

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

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

◆ DomainReductionStrategy

global.Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy Google.OrTools.Sat.DecisionStrategyProto.DomainReductionStrategy
getset

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

◆ Exprs

pbc.RepeatedField<global.Google.OrTools.Sat.LinearExpressionProto> Google.OrTools.Sat.DecisionStrategyProto.Exprs
get

If this is set, then the variables field must be empty. We currently only support affine expression.

Note
this is needed so that if a variable has an affine representative, we can properly transform a DecisionStrategyProto through presolve.

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

◆ Parser

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

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

◆ Variables

pbc.RepeatedField<int> Google.OrTools.Sat.DecisionStrategyProto.Variables
get

The variables to be considered for the next decision. The order matter and is always used as a tie-breaker after the variable selection strategy criteria defined below.

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

◆ VariableSelectionStrategy

global.Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy Google.OrTools.Sat.DecisionStrategyProto.VariableSelectionStrategy
getset

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

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