enum ORTools::Sat::CpSolverStatus

Defined in:

ortools-sat/connector/cp_model.pb.cr

Enum Members

UNKNOWN = 0
MODELINVALID = 1
FEASIBLE = 2
INFEASIBLE = 3
OPTIMAL = 4

Instance Method Summary

Instance Method Detail

def feasible? #

Returns true if this enum value equals FEASIBLE


[View source]
def infeasible? #

Returns true if this enum value equals INFEASIBLE


[View source]
def modelinvalid? #

Returns true if this enum value equals MODELINVALID


[View source]
def optimal? #

Returns true if this enum value equals OPTIMAL


[View source]
def unknown? #

Returns true if this enum value equals UNKNOWN


[View source]