class ORTools::Sat::Solution

• ORTools::Sat::Solution
• Reference
• Object

Overview

Class contains solution of Sat-Model

Direct Known Subclasses

• ORTools::Sat::ValidSolution

Defined in:

ortools-sat/solution.cr

Constructors

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

Class Method Summary

• .valid?(proto : CpSolverResponse) : Bool

  Returns true if the response proto passed indicates a solution was found

Instance Method Summary

• #proto : CpSolverResponse
• #status : CpSolverStatus
• #valid? : Bool

  Returns true is solution was found

Constructor Detail

Class Method Detail

Instance Method Detail