struct ORTools::Sat::AutomatonConstraintProto
- ORTools::Sat::AutomatonConstraintProto
- Struct
- Value
- Object
Included Modules
- Protobuf::Message
Defined in:
ortools-sat/connector/cp_model.pb.crConstant Summary
-
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)
Constructors
- .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)
Class Method Summary
Instance Method Summary
- #[](key : String)
- #final_states : Array(Int64) | Nil
- #final_states=(final_states : Array(Int64) | Nil)
- #starting_state : Int64 | Nil
- #starting_state=(starting_state : Int64 | Nil)
- #to_protobuf(io : IO, embedded = false)
- #to_protobuf
- #transition_head : Array(Int64) | Nil
- #transition_head=(transition_head : Array(Int64) | Nil)
- #transition_label : Array(Int64) | Nil
- #transition_label=(transition_label : Array(Int64) | Nil)
- #transition_tail : Array(Int64) | Nil
- #transition_tail=(transition_tail : Array(Int64) | Nil)
- #vars : Array(Int32) | Nil
- #vars=(vars : Array(Int32) | Nil)
Constructor Detail
def self.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)
#