Package it.unive.lisa.symbolic.value.operator

Interface OverflowingOperator

All Superinterfaces:

ArithmeticOperator, Operator

All Known Implementing Classes:

Numeric16BitAdd, Numeric16BitDiv, Numeric16BitMod, Numeric16BitMul, Numeric16BitRem, Numeric16BitSub, Numeric32BitAdd, Numeric32BitDiv, Numeric32BitMod, Numeric32BitMul, Numeric32BitRem, Numeric32BitSub, Numeric64BitAdd, Numeric64BitDiv, Numeric64BitMod, Numeric64BitMul, Numeric64BitRem, Numeric64BitSub, Numeric8BitAdd, Numeric8BitDiv, Numeric8BitMod, Numeric8BitMul, Numeric8BitRem, Numeric8BitSub

public interface OverflowingOperator
extends ArithmeticOperator

An operation that might overflow or underflow.