struct ORTools::Sat::CircuitConstraintProto
- ORTools::Sat::CircuitConstraintProto
- Struct
- Value
- Object
Included Modules
- Protobuf::Message
Defined in:
ortools-sat/connector/cp_model.pb.crConstant Summary
-
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)
Constructors
- .new(buf : Protobuf::Buffer)
- .new(tails : Array(Int32) | Nil = nil, heads : Array(Int32) | Nil = nil, literals : Array(Int32) | Nil = nil)
Class Method Summary
Instance Method Summary
- #[](key : String)
- #heads : Array(Int32) | Nil
- #heads=(heads : Array(Int32) | Nil)
- #literals : Array(Int32) | Nil
- #literals=(literals : Array(Int32) | Nil)
- #tails : Array(Int32) | Nil
- #tails=(tails : Array(Int32) | Nil)
- #to_protobuf(io : IO, embedded = false)
- #to_protobuf
Constructor Detail
def self.new(tails : Array(Int32) | Nil = nil, heads : Array(Int32) | Nil = nil, literals : Array(Int32) | Nil = nil)
#