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

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

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 7776 of file CpModel.pb.cs.

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]

Constructor & Destructor Documentation

◆ DecisionStrategyProto() [1/2]

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

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

◆ DecisionStrategyProto() [2/2]

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

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

Member Function Documentation

◆ CalculateSize()

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

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

◆ Clone()

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

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

◆ Equals() [1/2]

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

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

◆ Equals() [2/2]

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

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

◆ GetHashCode()

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

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

◆ MergeFrom() [1/2]

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

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

◆ MergeFrom() [2/2]

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

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

◆ ToString()

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

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

◆ WriteTo()

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

Definition at line 7927 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 7872 of file CpModel.pb.cs.

◆ ExprsFieldNumber

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

Field number for the "exprs" field.

Definition at line 7840 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 7860 of file CpModel.pb.cs.

◆ VariablesFieldNumber

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

Field number for the "variables" field.

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

Property Documentation

◆ Descriptor

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

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

◆ DomainReductionStrategy

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

Definition at line 7876 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 7855 of file CpModel.pb.cs.

◆ Parser

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

Definition at line 7785 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 7835 of file CpModel.pb.cs.

◆ VariableSelectionStrategy

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

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

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