DotNet Reference

.Net Reference

Detailed Description

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

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

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

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. More...
 
const int VariableSelectionStrategyFieldNumber = 2
 Field number for the "variable_selection_strategy" field. More...
 
const int DomainReductionStrategyFieldNumber = 3
 Field number for the "domain_reduction_strategy" field. More...
 
const int TransformationsFieldNumber = 4
 Field number for the "transformations" field. More...
 

Properties

static pb::MessageParser< DecisionStrategyProtoParser [get]
 
static pbr::MessageDescriptor Descriptor [get]
 
pbc::RepeatedField< int > Variables [get]
 The variables to be considered for the next decision. More...
 
global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy VariableSelectionStrategy [get, set]
 
global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy DomainReductionStrategy [get, set]
 
pbc::RepeatedField< global::Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation > Transformations [get]
 

Constructor & Destructor Documentation

◆ DecisionStrategyProto() [1/2]

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

◆ DecisionStrategyProto() [2/2]

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

Member Function Documentation

◆ CalculateSize()

int CalculateSize ( )
inline

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

◆ Clone()

DecisionStrategyProto Clone ( )
inline

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

◆ Equals() [1/2]

bool Equals ( DecisionStrategyProto  other)
inline

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

◆ Equals() [2/2]

override bool Equals ( object  other)
inline

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

◆ GetHashCode()

override int GetHashCode ( )
inline

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

◆ MergeFrom() [1/2]

void MergeFrom ( DecisionStrategyProto  other)
inline

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

◆ MergeFrom() [2/2]

void MergeFrom ( pb::CodedInputStream  input)
inline

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

◆ ToString()

override string ToString ( )
inline

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

◆ WriteTo()

void WriteTo ( pb::CodedOutputStream  output)
inline

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

Member Data Documentation

◆ DomainReductionStrategyFieldNumber

const int DomainReductionStrategyFieldNumber = 3
static

Field number for the "domain_reduction_strategy" field.

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

◆ TransformationsFieldNumber

const int TransformationsFieldNumber = 4
static

Field number for the "transformations" field.

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

◆ VariableSelectionStrategyFieldNumber

const int VariableSelectionStrategyFieldNumber = 2
static

Field number for the "variable_selection_strategy" field.

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

◆ VariablesFieldNumber

const int VariablesFieldNumber = 1
static

Field number for the "variables" field.

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

Property Documentation

◆ Descriptor

pbr.MessageDescriptor Descriptor
staticget

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

◆ DomainReductionStrategy

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

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

◆ Parser

pb.MessageParser<DecisionStrategyProto> Parser
staticget

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

◆ Transformations

pbc.RepeatedField<global.Google.OrTools.Sat.DecisionStrategyProto.Types.AffineTransformation> Transformations
get

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

◆ Variables

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.

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

◆ VariableSelectionStrategy

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

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


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