enum OperationsResearch::Sat::SatParameters::Polarity

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

POLARITYTRUE = 0
POLARITYFALSE = 1
POLARITYRANDOM = 2

Instance Method Summary

Instance Method Detail

def polarityfalse? #

[View source]
def polarityrandom? #

[View source]
def polaritytrue? #

[View source]