struct ORTools::Sat::AllDifferentConstraintProto

Included Modules

Defined in:

ortools-sat/connector/cp_model.pb.cr

Constant Summary

FIELDS = {1 => {name: :exprs, pb_type: LinearExpressionProto, crystal_type: LinearExpressionProto, cast_type: Array(LinearExpressionProto)?, native: false, 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(exprs : Array(LinearExpressionProto) | Nil = nil) #

Class Method Detail

def self.from_protobuf(io) #

Instance Method Detail

def [](key : String) #

def exprs : Array(LinearExpressionProto) | Nil #

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

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

def to_protobuf #