Python Interval.shifted Examples

Example #1

File: oir_to_dace.py Project: stubbiali/gt4py

def _offset_origin(interval: oir.Interval, origin: Optional[oir.AxisBound]) -> oir.Interval:
    if origin is None:
        return interval
    if origin.level != LevelMarker.START:
        return interval
    return interval.shifted(-origin.offset)

Example #2

def _offset_origin(interval: oir.Interval,
                   origin: oir.AxisBound) -> oir.Interval:
    if origin >= oir.AxisBound.start():
        return interval
    return interval.shifted(-origin.offset)

Example #3

File: oir_to_dace.py Project: fthaler/gt4py

def _offset_origin(interval: oir.Interval,
                   origin: oir.AxisBound) -> oir.Interval:
    if origin.level != LevelMarker.START:
        return interval
    return interval.shifted(-origin.offset)