struct ORTools::Sat::ConstraintProto
- ORTools::Sat::ConstraintProto
- Struct
- Value
- Object
Included Modules
- Protobuf::Message
Defined in:
ortools-sat/connector/cp_model.pb.crConstant Summary
-
FIELDS =
{1 => {name: :name, pb_type: :string, crystal_type: String, cast_type: String?, native: true, optional: true, repeated: false, default: nil, packed: false}, 2 => {name: :enforcement_literal, pb_type: :int32, crystal_type: Int32, cast_type: Array(Int32)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 3 => {name: :bool_or, pb_type: BoolArgumentProto, crystal_type: BoolArgumentProto, cast_type: BoolArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 4 => {name: :bool_and, pb_type: BoolArgumentProto, crystal_type: BoolArgumentProto, cast_type: BoolArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 26 => {name: :at_most_one, pb_type: BoolArgumentProto, crystal_type: BoolArgumentProto, cast_type: BoolArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 29 => {name: :exactly_one, pb_type: BoolArgumentProto, crystal_type: BoolArgumentProto, cast_type: BoolArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 5 => {name: :bool_xor, pb_type: BoolArgumentProto, crystal_type: BoolArgumentProto, cast_type: BoolArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 7 => {name: :int_div, pb_type: LinearArgumentProto, crystal_type: LinearArgumentProto, cast_type: LinearArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 8 => {name: :int_mod, pb_type: LinearArgumentProto, crystal_type: LinearArgumentProto, cast_type: LinearArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 11 => {name: :int_prod, pb_type: LinearArgumentProto, crystal_type: LinearArgumentProto, cast_type: LinearArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 27 => {name: :lin_max, pb_type: LinearArgumentProto, crystal_type: LinearArgumentProto, cast_type: LinearArgumentProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 12 => {name: :linear, pb_type: LinearConstraintProto, crystal_type: LinearConstraintProto, cast_type: LinearConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 13 => {name: :all_diff, pb_type: AllDifferentConstraintProto, crystal_type: AllDifferentConstraintProto, cast_type: AllDifferentConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 14 => {name: :element, pb_type: ElementConstraintProto, crystal_type: ElementConstraintProto, cast_type: ElementConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 15 => {name: :circuit, pb_type: CircuitConstraintProto, crystal_type: CircuitConstraintProto, cast_type: CircuitConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 23 => {name: :routes, pb_type: RoutesConstraintProto, crystal_type: RoutesConstraintProto, cast_type: RoutesConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 16 => {name: :table, pb_type: TableConstraintProto, crystal_type: TableConstraintProto, cast_type: TableConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 17 => {name: :automaton, pb_type: AutomatonConstraintProto, crystal_type: AutomatonConstraintProto, cast_type: AutomatonConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 18 => {name: :inverse, pb_type: InverseConstraintProto, crystal_type: InverseConstraintProto, cast_type: InverseConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 24 => {name: :reservoir, pb_type: ReservoirConstraintProto, crystal_type: ReservoirConstraintProto, cast_type: ReservoirConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 19 => {name: :interval, pb_type: IntervalConstraintProto, crystal_type: IntervalConstraintProto, cast_type: IntervalConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 20 => {name: :no_overlap, pb_type: NoOverlapConstraintProto, crystal_type: NoOverlapConstraintProto, cast_type: NoOverlapConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 21 => {name: :no_overlap_2d, pb_type: NoOverlap2DConstraintProto, crystal_type: NoOverlap2DConstraintProto, cast_type: NoOverlap2DConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 22 => {name: :cumulative, pb_type: CumulativeConstraintProto, crystal_type: CumulativeConstraintProto, cast_type: CumulativeConstraintProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 30 => {name: :dummy_constraint, pb_type: ListOfVariablesProto, crystal_type: ListOfVariablesProto, cast_type: ListOfVariablesProto?, native: false, optional: true, repeated: false, default: nil, packed: false}} of Int32 => HashLiteral(Symbol, ASTNode)
Constructors
- .new(buf : Protobuf::Buffer)
- .new(name : String | Nil = nil, enforcement_literal : Array(Int32) | Nil = nil, bool_or : BoolArgumentProto | Nil = nil, bool_and : BoolArgumentProto | Nil = nil, at_most_one : BoolArgumentProto | Nil = nil, exactly_one : BoolArgumentProto | Nil = nil, bool_xor : BoolArgumentProto | Nil = nil, int_div : LinearArgumentProto | Nil = nil, int_mod : LinearArgumentProto | Nil = nil, int_prod : LinearArgumentProto | Nil = nil, lin_max : LinearArgumentProto | Nil = nil, linear : LinearConstraintProto | Nil = nil, all_diff : AllDifferentConstraintProto | Nil = nil, element : ElementConstraintProto | Nil = nil, circuit : CircuitConstraintProto | Nil = nil, routes : RoutesConstraintProto | Nil = nil, table : TableConstraintProto | Nil = nil, automaton : AutomatonConstraintProto | Nil = nil, inverse : InverseConstraintProto | Nil = nil, reservoir : ReservoirConstraintProto | Nil = nil, interval : IntervalConstraintProto | Nil = nil, no_overlap : NoOverlapConstraintProto | Nil = nil, no_overlap_2d : NoOverlap2DConstraintProto | Nil = nil, cumulative : CumulativeConstraintProto | Nil = nil, dummy_constraint : ListOfVariablesProto | Nil = nil)
Class Method Summary
Instance Method Summary
- #[](key : String)
- #all_diff : AllDifferentConstraintProto | Nil
- #all_diff=(all_diff : AllDifferentConstraintProto | Nil)
- #at_most_one : BoolArgumentProto | Nil
- #at_most_one=(at_most_one : BoolArgumentProto | Nil)
- #automaton : AutomatonConstraintProto | Nil
- #automaton=(automaton : AutomatonConstraintProto | Nil)
- #bool_and : BoolArgumentProto | Nil
- #bool_and=(bool_and : BoolArgumentProto | Nil)
- #bool_or : BoolArgumentProto | Nil
- #bool_or=(bool_or : BoolArgumentProto | Nil)
- #bool_xor : BoolArgumentProto | Nil
- #bool_xor=(bool_xor : BoolArgumentProto | Nil)
- #circuit : CircuitConstraintProto | Nil
- #circuit=(circuit : CircuitConstraintProto | Nil)
- #cumulative : CumulativeConstraintProto | Nil
- #cumulative=(cumulative : CumulativeConstraintProto | Nil)
- #dummy_constraint : ListOfVariablesProto | Nil
- #dummy_constraint=(dummy_constraint : ListOfVariablesProto | Nil)
- #element : ElementConstraintProto | Nil
- #element=(element : ElementConstraintProto | Nil)
- #enforcement_literal : Array(Int32) | Nil
- #enforcement_literal=(enforcement_literal : Array(Int32) | Nil)
- #exactly_one : BoolArgumentProto | Nil
- #exactly_one=(exactly_one : BoolArgumentProto | Nil)
- #int_div : LinearArgumentProto | Nil
- #int_div=(int_div : LinearArgumentProto | Nil)
- #int_mod : LinearArgumentProto | Nil
- #int_mod=(int_mod : LinearArgumentProto | Nil)
- #int_prod : LinearArgumentProto | Nil
- #int_prod=(int_prod : LinearArgumentProto | Nil)
- #interval : IntervalConstraintProto | Nil
- #interval=(interval : IntervalConstraintProto | Nil)
- #inverse : InverseConstraintProto | Nil
- #inverse=(inverse : InverseConstraintProto | Nil)
- #lin_max : LinearArgumentProto | Nil
- #lin_max=(lin_max : LinearArgumentProto | Nil)
- #linear : LinearConstraintProto | Nil
- #linear=(linear : LinearConstraintProto | Nil)
- #name : String | Nil
- #name=(name : String | Nil)
- #no_overlap : NoOverlapConstraintProto | Nil
- #no_overlap=(no_overlap : NoOverlapConstraintProto | Nil)
- #no_overlap_2d : NoOverlap2DConstraintProto | Nil
- #no_overlap_2d=(no_overlap_2d : NoOverlap2DConstraintProto | Nil)
- #reservoir : ReservoirConstraintProto | Nil
- #reservoir=(reservoir : ReservoirConstraintProto | Nil)
- #routes : RoutesConstraintProto | Nil
- #routes=(routes : RoutesConstraintProto | Nil)
- #table : TableConstraintProto | Nil
- #table=(table : TableConstraintProto | Nil)
- #to_protobuf(io : IO, embedded = false)
- #to_protobuf
Constructor Detail
def self.new(name : String | Nil = nil, enforcement_literal : Array(Int32) | Nil = nil, bool_or : BoolArgumentProto | Nil = nil, bool_and : BoolArgumentProto | Nil = nil, at_most_one : BoolArgumentProto | Nil = nil, exactly_one : BoolArgumentProto | Nil = nil, bool_xor : BoolArgumentProto | Nil = nil, int_div : LinearArgumentProto | Nil = nil, int_mod : LinearArgumentProto | Nil = nil, int_prod : LinearArgumentProto | Nil = nil, lin_max : LinearArgumentProto | Nil = nil, linear : LinearConstraintProto | Nil = nil, all_diff : AllDifferentConstraintProto | Nil = nil, element : ElementConstraintProto | Nil = nil, circuit : CircuitConstraintProto | Nil = nil, routes : RoutesConstraintProto | Nil = nil, table : TableConstraintProto | Nil = nil, automaton : AutomatonConstraintProto | Nil = nil, inverse : InverseConstraintProto | Nil = nil, reservoir : ReservoirConstraintProto | Nil = nil, interval : IntervalConstraintProto | Nil = nil, no_overlap : NoOverlapConstraintProto | Nil = nil, no_overlap_2d : NoOverlap2DConstraintProto | Nil = nil, cumulative : CumulativeConstraintProto | Nil = nil, dummy_constraint : ListOfVariablesProto | Nil = nil)
#