DivLat calculates the following: [Output] = [Input 1] / [Input 2]. Division by 0 leads to a result of 0. DivLat accepts any primitive type for the input lattices. The primitive type of [Output] will be the same as that of [Input 1].
Port: Input 1
Type: Lattice
First input data.
Port: Input 2
Type: Lattice
Second input data.
Port: Output
Type: Lattice
Output data.