class ORTools::Sat::ValidSolution

Overview

Class should only contain solutions deemed valid

Defined in:

ortools-sat/solution.cr

Instance Method Summary

Instance methods inherited from class ORTools::Sat::Solution

proto : CpSolverResponse proto, status : CpSolverStatus status, valid? : Bool valid?

Constructor methods inherited from class ORTools::Sat::Solution

new(proto : ORTools::Sat::CpSolverResponse) new

Class methods inherited from class ORTools::Sat::Solution

valid?(proto : CpSolverResponse) : Bool valid?

Instance Method Detail

def objective_value #

Returns the value of the objective function if found


[View source]
def true?(bool_var : BoolVar) : Bool #

[View source]
def value(int_var : BoolVar) : Int64 #

[View source]
def value(int_var : IntVar) : Int64 #

[View source]