ZDD : Overview of ZDD Operators and Methods : % : Remainder operator

3.1 % : Remainder operator

Format

$zdd1$ % $zdd2$ $\rightarrow$ $zdd3$

Description

Find out the remainder from the division of two operands $zdd1$ and $zdd2$ , return the value as ZDD object $zdd3$ .

Example

Example 1: Basic Example

Refer to the example of/ method.

See Also

/ : Division operator