struct

ORTools::Sat::DecisionStrategyProto

Inherits Protobuf::Message < Struct < Value < Object

Constants

FIELDS = {1 => {name: :variables, pb_type: :int32, crystal_type: Int32, cast_type: Array(Int32)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 5 => {name: :exprs, pb_type: LinearExpressionProto, crystal_type: LinearExpressionProto, cast_type: Array(LinearExpressionProto)?, native: false, optional: true, repeated: true, default: nil, packed: false}, 2 => {name: :variable_selection_strategy, pb_type: DecisionStrategyProto::VariableSelectionStrategy, crystal_type: DecisionStrategyProto::VariableSelectionStrategy, cast_type: DecisionStrategyProto::VariableSelectionStrategy?, native: false, optional: true, repeated: false, default: nil, packed: false}, 3 => {name: :domain_reduction_strategy, pb_type: DecisionStrategyProto::DomainReductionStrategy, crystal_type: DecisionStrategyProto::DomainReductionStrategy, cast_type: DecisionStrategyProto::DomainReductionStrategy?, native: false, optional: true, repeated: false, default: nil, packed: false}} of Int32 => HashLiteral(Symbol, ASTNode)

Constructors

new(buf : Protobuf::Buffer)

new(variables : Array(Int32) | Nil = nil, exprs : Array(LinearExpressionProto) | Nil = nil, variable_selection_strategy : DecisionStrategyProto::VariableSelectionStrategy | Nil = nil, domain_reduction_strategy : DecisionStrategyProto::DomainReductionStrategy | Nil = nil)

Class methods

from_protobuf(io)

Instance methods

[](key : String)

domain_reduction_strategy

domain_reduction_strategy=(domain_reduction_strategy : DecisionStrategyProto::DomainReductionStrategy | Nil)

exprs

exprs=(exprs : Array(LinearExpressionProto) | Nil)

to_protobuf(io : IO, embedded = false)

to_protobuf

variable_selection_strategy

variable_selection_strategy=(variable_selection_strategy : DecisionStrategyProto::VariableSelectionStrategy | Nil)

variables

variables=(variables : Array(Int32) | Nil)