raw
ffa_ch2_logicals.kv     1 with Words; use Words;
ffa_ch2_logicals.kv     2 with FZ_Type; use FZ_Type;
ffa_ch2_logicals.kv     3 
ffa_ch2_logicals.kv     4 
ffa_ch2_logicals.kv     5 package FZ_Pred is
ffa_ch2_logicals.kv     6    
ffa_ch2_logicals.kv     7    pragma Pure;
ffa_ch2_logicals.kv     8    
ffa_ch2_logicals.kv     9    --------------------------------------------
ffa_ch2_logicals.kv    10    -- Fundamental Predicate Operations on FZ --
ffa_ch2_logicals.kv    11    --------------------------------------------
ffa_ch2_logicals.kv    12    
ffa_ch2_logicals.kv    13    -- 1 iff N == 0 (branch-free); else 0
ffa_ch2_logicals.kv    14    function FZ_ZeroP(N : in FZ) return WBool;
ffa_ch2_logicals.kv    15    
ffa_ch2_logicals.kv    16    -- 1 iff N is odd
ffa_ch2_logicals.kv    17    function FZ_OddP(N : in FZ) return WBool;
ffa_ch2_logicals.kv    18    
ffa_ch2_logicals.kv    19 end FZ_Pred;