The OpenD Programming Language

PosInfIntervalRange.empty

This is an infinite range, so it is never empty.

  1. PosInfIntervalRange opAssign(PosInfIntervalRange rhs)
  2. PosInfIntervalRange opAssign(PosInfIntervalRange rhs)

Meta