ORTools::Sat::CircuitConstraintProto

FIELDS = {3 => {name: :tails, pb_type: :int32, crystal_type: Int32, cast_type: Array(Int32)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 4 => {name: :heads, pb_type: :int32, crystal_type: Int32, cast_type: Array(Int32)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 5 => {name: :literals, pb_type: :int32, crystal_type: Int32, cast_type: Array(Int32)?, native: true, optional: true, repeated: true, default: nil, packed: false}} of Int32 => HashLiteral(Symbol, ASTNode)

new(buf : Protobuf::Buffer)

new(tails : Array(Int32) | Nil = nil, heads : Array(Int32) | Nil = nil, literals : Array(Int32) | Nil = nil)

from_protobuf(io)

[](key : String)

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

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

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

to_protobuf(io : IO, embedded = false)