Class IntegerDivide

All Implemented Interfaces:
KnowledgeBaseConsumer, ArithmeticOperator, PreprocessableArithmeticOperator

public final class IntegerDivide extends AbstractBinaryIntegerArithmeticOperator
// - performs integer division.

The result will be rounded towards zero. e.g. 7 // 2 is rounded down to 3 while -7 // 2 is rounded up to -3