struct ORTools::Sat::CpSolverResponse

Included Modules

Defined in:

ortools-sat/connector/cp_model.pb.cr

Constant Summary

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)

Constructors

Class Method Summary

Instance Method Summary

Constructor Detail

def self.new(buf : Protobuf::Buffer) #

def self.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) #

Class Method Detail

def self.from_protobuf(io) #

Instance Method Detail

def [](key : String) #

def additional_solutions : Array(CpSolverSolution) | Nil #

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

def best_objective_bound : Float64 | Nil #

def best_objective_bound=(best_objective_bound : Float64 | Nil) #

def deterministic_time : Float64 | Nil #

def deterministic_time=(deterministic_time : Float64 | Nil) #

def gap_integral : Float64 | Nil #

def gap_integral=(gap_integral : Float64 | Nil) #

def inner_objective_lower_bound : Int64 | Nil #

def inner_objective_lower_bound=(inner_objective_lower_bound : Int64 | Nil) #

def integer_objective : CpObjectiveProto | Nil #

def integer_objective=(integer_objective : CpObjectiveProto | Nil) #

def num_binary_propagations : Int64 | Nil #

def num_binary_propagations=(num_binary_propagations : Int64 | Nil) #

def num_booleans : Int64 | Nil #

def num_booleans=(num_booleans : Int64 | Nil) #

def num_branches : Int64 | Nil #

def num_branches=(num_branches : Int64 | Nil) #

def num_conflicts : Int64 | Nil #

def num_conflicts=(num_conflicts : Int64 | Nil) #

def num_integer_propagations : Int64 | Nil #

def num_integer_propagations=(num_integer_propagations : Int64 | Nil) #

def num_integers : Int64 | Nil #

def num_integers=(num_integers : Int64 | Nil) #

def num_lp_iterations : Int64 | Nil #

def num_lp_iterations=(num_lp_iterations : Int64 | Nil) #

def num_restarts : Int64 | Nil #

def num_restarts=(num_restarts : Int64 | Nil) #

def objective_value : Float64 | Nil #

def objective_value=(objective_value : Float64 | Nil) #

def solution : Array(Int64) | Nil #

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

def solution_info : String | Nil #

def solution_info=(solution_info : String | Nil) #

def solve_log : String | Nil #

def solve_log=(solve_log : String | Nil) #

def status : CpSolverStatus | Nil #

def status=(status : CpSolverStatus | Nil) #

def sufficient_assumptions_for_infeasibility : Array(Int32) | Nil #

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

def tightened_variables : Array(IntegerVariableProto) | Nil #

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

def to_protobuf(io : IO, embedded = false) #

def to_protobuf #

def user_time : Float64 | Nil #

def user_time=(user_time : Float64 | Nil) #

def wall_time : Float64 | Nil #

def wall_time=(wall_time : Float64 | Nil) #