ADP.Fusion.QuickCheck.Set

BitSets without interfaces

Inside checks

prop_b_ii

prop_b_ii_nn

prop_b_iii

prop_b_iii_nnn

Outside checks

Two non-terminals.

BitSets with two interfaces

Inside checks

prop_bii_i

prop_bii_i_n

prop_bii_e

prop_bii_ie

prop_bii_ie_n

prop_bii_iee

prop_bii_ieee

prop_bii_iee_n

prop_bii_ieee_n

Helper functions

highBit

highestB

highestBII

xsB

xoB

xsBII

general quickcheck stuff

options

customCheck

allProps