class_docstr: Representation for a range of values. 
class_docstr_tok: ["Representation","for","a","range","of","values","."]
docstr: Combiner for Floor divide operation.
  
  >>> Interval(-1, 5) // Interval(3, 8)
  Interval(low=-1, high=1)
  >>> Interval(-1, 5) // Interval(-5, -4)
  Interval(low=-2, high=0)
  >>> Interval(-1, 5) // Interval(-5, 3)
  Interval(low=-inf, high=inf)
docstr_tok: ["Combiner","for","Floor","divide","operation",".",">",">",">","Interval","(","-1",",","5",")","\/\/","Interval","(","3",",","8",")","Interval","(","low=-1",",","high=1",")",">",">",">","Interval","(","-1",",","5",")","\/\/","Interval","(","-5",",","-4",")","Interval","(","low=-2",",","high=0",")",">",">",">","Interval","(","-1",",","5",")","\/\/","Interval","(","-5",",","3",")","Interval","(","low=-inf",",","high=inf",")"]
code: def __floordiv__(range1, range2):
      """
      Combiner for Floor divide operation.
  
      >>> Interval(-1, 5) // Interval(3, 8)
      Interval(low=-1, high=1)
      >>> Interval(-1, 5) // Interval(-5, -4)
      Interval(low=-2, high=0)
      >>> Interval(-1, 5) // Interval(-5, 3)
      Interval(low=-inf, high=inf)
      """
      if range2.low <= 0 and range2.high >= 0:
          return UNKNOWN_RANGE
      if range2.low == 0:
          return UNKNOWN_RANGE
      res = [
          v1 if isinf(v1) else (v1 // v2)
          for v1, v2 in itertools.product(
              range1.bounds(), range2.bounds()
          )
      ]
      return Interval(min(res), max(res))
  
imports: from math import isinf, isnan
  import itertools
  import numpy
label_desc: Use image node_id 19 for calling the Interval obj's underlying member method code with example usage: obj.__floordiv__(range1, range2) and returns: Interval, UNKNOWN_RANGE, UNKNOWN_RANGE