struct ORTools::Sat::PartialVariableAssignment

Included Modules

Protobuf::Message

Defined in:

ortools-sat/connector/cp_model.pb.cr

Constant Summary

FIELDS = {1 => {name: :vars, pb_type: :int32, crystal_type: Int32, cast_type: Array(Int32)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 2 => {name: :values, pb_type: :int64, crystal_type: Int64, cast_type: Array(Int64)?, native: true, optional: true, repeated: true, default: nil, packed: false}} of Int32 => HashLiteral(Symbol, ASTNode)

Constructors

.new(buf : Protobuf::Buffer)
.new(vars : Array(Int32) | Nil = nil, values : Array(Int64) | Nil = nil)

Class Method Summary

.from_protobuf(io)

Instance Method Summary

#[](key : String)
#to_protobuf(io : IO, embedded = false)
#to_protobuf
#values : Array(Int64) | Nil
#values=(values : Array(Int64) | Nil)
#vars : Array(Int32) | Nil
#vars=(vars : Array(Int32) | Nil)

Constructor Detail

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

def self.new(vars : Array(Int32) | Nil = nil, values : Array(Int64) | Nil = nil) #

Class Method Detail

def self.from_protobuf(io) #

Instance Method Detail

def [](key : String) #

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

def to_protobuf #

def values : Array(Int64) | Nil #

def values=(values : Array(Int64) | Nil) #

def vars : Array(Int32) | Nil #

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