(0 . 0)(1 . 25)
572 with Words; use Words;
573 with FZ_Type; use FZ_Type;
574
575
576 package FZ_Cmp is
577
578 pragma Pure;
579
580 -------------------------------------------
581 -- Comparison Predicate Operations on FZ --
582 -------------------------------------------
583
584 -- 1 iff X == Y (branch-free); else 0
585 function FZ_EqP(X : in FZ; Y: in FZ) return WBool;
586 pragma Precondition(X'Length = Y'Length);
587
588 -- 1 iff X < Y (branch-free); else 0
589 function FZ_LessThanP(X : in FZ; Y : in FZ) return WBool;
590 pragma Precondition(X'Length = Y'Length);
591
592 -- 1 iff X > Y (branch-free); else 0
593 function FZ_GreaterThanP(X : in FZ; Y : in FZ) return WBool;
594 pragma Precondition(X'Length = Y'Length);
595
596 end FZ_Cmp;