struct ORTools::Sat::DecisionStrategyProto

Included Modules

Defined in:

ortools-sat/connector/cp_model.pb.cr

Constant Summary

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

Class Method Summary

Instance Method Summary

Constructor Detail

def self.new(buf : Protobuf::Buffer) #

def self.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 Method Detail

def self.from_protobuf(io) #

Instance Method Detail

def [](key : String) #

def domain_reduction_strategy : DecisionStrategyProto::DomainReductionStrategy | Nil #

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

def exprs : Array(LinearExpressionProto) | Nil #

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

def to_protobuf(io : IO, embedded = false) #

def to_protobuf #

def variable_selection_strategy : DecisionStrategyProto::VariableSelectionStrategy | Nil #

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

def variables : Array(Int32) | Nil #

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