ORTools::Sat::AutomatonConstraintProto

FIELDS = {2 => {name: :starting_state, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 3 => {name: :final_states, pb_type: :int64, crystal_type: Int64, cast_type: Array(Int64)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 4 => {name: :transition_tail, pb_type: :int64, crystal_type: Int64, cast_type: Array(Int64)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 5 => {name: :transition_head, pb_type: :int64, crystal_type: Int64, cast_type: Array(Int64)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 6 => {name: :transition_label, pb_type: :int64, crystal_type: Int64, cast_type: Array(Int64)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 7 => {name: :vars, 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(starting_state : Int64 | Nil = nil, final_states : Array(Int64) | Nil = nil, transition_tail : Array(Int64) | Nil = nil, transition_head : Array(Int64) | Nil = nil, transition_label : Array(Int64) | Nil = nil, vars : Array(Int32) | Nil = nil)

from_protobuf(io)

[](key : String)

final_states=(final_states : Array(Int64) | Nil)

starting_state=(starting_state : Int64 | Nil)

to_protobuf(io : IO, embedded = false)

transition_head=(transition_head : Array(Int64) | Nil)

transition_label=(transition_label : Array(Int64) | Nil)

transition_tail=(transition_tail : Array(Int64) | Nil)

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