class ORTools::Sat::LinearConstraint

Overview

Factory Class to generate linear contraints

Defined in:

ortools-sat/linear-constraint.cr

Constructors

Class Method Summary

Instance Method Summary

Constructor Detail

def self.new(proto : ORTools::Sat::ConstraintProto) #

[View source]

Class Method Detail

def self.equal(lhs : LinearExpression, rhs : LinearExpression) #

[View source]
def self.greater_or_equal(lhs : LinearExpression, rhs : LinearExpression) #

[View source]
def self.greater_than(lhs : LinearExpression, rhs : LinearExpression) #

[View source]
def self.less_or_equal(lhs : LinearExpression, rhs : LinearExpression) #

[View source]
def self.less_than(lhs : LinearExpression, rhs : LinearExpression) #

[View source]
def self.not_equal(lhs : LinearExpression, rhs : LinearExpression) #

[View source]

Instance Method Detail

def proto : ConstraintProto #

[View source]