Method: ORTools::SatIntVar#-

Defined in:
lib/or_tools/sat_int_var.rb

#-(other) ⇒ Object 



13
14
15
 
# File 'lib/or_tools/sat_int_var.rb', line 13

def -(other)
  SatLinearExpr.new([[self, 1], [-other, 1]])
end