ORTools::Sat::CpSolverResponse

FIELDS = {1 => {name: :status, pb_type: CpSolverStatus, crystal_type: CpSolverStatus, cast_type: CpSolverStatus?, native: false, optional: true, repeated: false, default: nil, packed: false}, 2 => {name: :solution, pb_type: :int64, crystal_type: Int64, cast_type: Array(Int64)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 3 => {name: :objective_value, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 4 => {name: :best_objective_bound, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 27 => {name: :additional_solutions, pb_type: CpSolverSolution, crystal_type: CpSolverSolution, cast_type: Array(CpSolverSolution)?, native: false, optional: true, repeated: true, default: nil, packed: false}, 21 => {name: :tightened_variables, pb_type: IntegerVariableProto, crystal_type: IntegerVariableProto, cast_type: Array(IntegerVariableProto)?, native: false, optional: true, repeated: true, default: nil, packed: false}, 23 => {name: :sufficient_assumptions_for_infeasibility, pb_type: :int32, crystal_type: Int32, cast_type: Array(Int32)?, native: true, optional: true, repeated: true, default: nil, packed: false}, 28 => {name: :integer_objective, pb_type: CpObjectiveProto, crystal_type: CpObjectiveProto, cast_type: CpObjectiveProto?, native: false, optional: true, repeated: false, default: nil, packed: false}, 29 => {name: :inner_objective_lower_bound, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 30 => {name: :num_integers, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 10 => {name: :num_booleans, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 11 => {name: :num_conflicts, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 12 => {name: :num_branches, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 13 => {name: :num_binary_propagations, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 14 => {name: :num_integer_propagations, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 24 => {name: :num_restarts, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 25 => {name: :num_lp_iterations, pb_type: :int64, crystal_type: Int64, cast_type: Int64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 15 => {name: :wall_time, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 16 => {name: :user_time, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 17 => {name: :deterministic_time, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 22 => {name: :gap_integral, pb_type: :double, crystal_type: Float64, cast_type: Float64?, native: true, optional: true, repeated: false, default: nil, packed: false}, 20 => {name: :solution_info, pb_type: :string, crystal_type: String, cast_type: String?, native: true, optional: true, repeated: false, default: nil, packed: false}, 26 => {name: :solve_log, pb_type: :string, crystal_type: String, cast_type: String?, native: true, optional: true, repeated: false, default: nil, packed: false}} of Int32 => HashLiteral(Symbol, ASTNode)

new(buf : Protobuf::Buffer)

new(status : CpSolverStatus | Nil = nil, solution : Array(Int64) | Nil = nil, objective_value : Float64 | Nil = nil, best_objective_bound : Float64 | Nil = nil, additional_solutions : Array(CpSolverSolution) | Nil = nil, tightened_variables : Array(IntegerVariableProto) | Nil = nil, sufficient_assumptions_for_infeasibility : Array(Int32) | Nil = nil, integer_objective : CpObjectiveProto | Nil = nil, inner_objective_lower_bound : Int64 | Nil = nil, num_integers : Int64 | Nil = nil, num_booleans : Int64 | Nil = nil, num_conflicts : Int64 | Nil = nil, num_branches : Int64 | Nil = nil, num_binary_propagations : Int64 | Nil = nil, num_integer_propagations : Int64 | Nil = nil, num_restarts : Int64 | Nil = nil, num_lp_iterations : Int64 | Nil = nil, wall_time : Float64 | Nil = nil, user_time : Float64 | Nil = nil, deterministic_time : Float64 | Nil = nil, gap_integral : Float64 | Nil = nil, solution_info : String | Nil = nil, solve_log : String | Nil = nil)

from_protobuf(io)

[](key : String)

additional_solutions=(additional_solutions : Array(CpSolverSolution) | Nil)

best_objective_bound=(best_objective_bound : Float64 | Nil)

deterministic_time=(deterministic_time : Float64 | Nil)

gap_integral=(gap_integral : Float64 | Nil)

inner_objective_lower_bound=(inner_objective_lower_bound : Int64 | Nil)

integer_objective=(integer_objective : CpObjectiveProto | Nil)

num_binary_propagations=(num_binary_propagations : Int64 | Nil)

num_booleans=(num_booleans : Int64 | Nil)

num_branches=(num_branches : Int64 | Nil)

num_conflicts=(num_conflicts : Int64 | Nil)

num_integer_propagations=(num_integer_propagations : Int64 | Nil)

num_integers=(num_integers : Int64 | Nil)

num_lp_iterations=(num_lp_iterations : Int64 | Nil)

num_restarts=(num_restarts : Int64 | Nil)

objective_value=(objective_value : Float64 | Nil)

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

solution_info=(solution_info : String | Nil)

solve_log=(solve_log : String | Nil)

status=(status : CpSolverStatus | Nil)

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

tightened_variables=(tightened_variables : Array(IntegerVariableProto) | Nil)

to_protobuf(io : IO, embedded = false)

user_time=(user_time : Float64 | Nil)

wall_time=(wall_time : Float64 | Nil)