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

Interface SubtractionOperator

All Superinterfaces:

ArithmeticOperator, Operator

All Known Implementing Classes:

Numeric16BitSub, Numeric32BitSub, Numeric64BitSub, Numeric8BitSub, NumericNonOverflowingSub

public interface SubtractionOperator
extends ArithmeticOperator

An operation that performs a subtraction between its operands.