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_Cmp 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    -- Comparison Predicate Operations on FZ --
ffa_ch2_logicals.kv    11    -------------------------------------------
ffa_ch2_logicals.kv    12    
ffa_ch2_logicals.kv    13    -- 1 iff X == Y (branch-free); else 0
ffa_ch2_logicals.kv    14    function FZ_EqP(X : in FZ; Y: in FZ) return WBool;
ffa_ch2_logicals.kv    15    pragma Precondition(X'Length = Y'Length);
ffa_ch2_logicals.kv    16    
ffa_ch2_logicals.kv    17    -- 1 iff X < Y (branch-free); else 0
ffa_ch2_logicals.kv    18    function FZ_LessThanP(X : in FZ; Y : in FZ) return WBool;
ffa_ch2_logicals.kv    19    pragma Precondition(X'Length = Y'Length);
ffa_ch2_logicals.kv    20    
ffa_ch2_logicals.kv    21    -- 1 iff X > Y (branch-free); else 0
ffa_ch2_logicals.kv    22    function FZ_GreaterThanP(X : in FZ; Y : in FZ) return WBool;
ffa_ch2_logicals.kv    23    pragma Precondition(X'Length = Y'Length);
ffa_ch2_logicals.kv    24    
ffa_ch2_logicals.kv    25 end FZ_Cmp;