struct ORTools::Sat::LinearConstraintProto

Included Modules

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: :coeffs, pb_type: :int64, crystal_type: Int64, cast_type: Array(Int64)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 3 => {name: :domain, 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

Class Method Summary

Instance Method Summary

Constructor Detail

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

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

Class Method Detail

def self.from_protobuf(io) #

Instance Method Detail

def [](key : String) #

def coeffs : Array(Int64) | Nil #

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

def domain : Array(Int64) | Nil #

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

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

def to_protobuf #

def vars : Array(Int32) | Nil #

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