with FZ_Type; use FZ_Type;
with Words; use Words;


package FZ_BitOp is
   
   pragma Pure;
   
   -- Result := X & Y
   procedure FZ_And(X : in FZ; Y : in FZ; Result : out FZ);
   pragma Precondition(X'Length = Y'Length and X'Length = Result'Length);
   
   -- N := N & W, W is a word
   procedure FZ_And_W(N : in out FZ; W : in Word);
   
   -- Result := X | Y
   procedure FZ_Or(X : in FZ; Y : in FZ; Result : out FZ);
   pragma Precondition(X'Length = Y'Length and X'Length = Result'Length);
   
   -- N := N | W, W is a word
   procedure FZ_Or_W(N : in out FZ; W : in Word);
   
   -- Result := X ^ Y
   procedure FZ_Xor(X : in FZ; Y : in FZ; Result : out FZ);
   pragma Precondition(X'Length = Y'Length and X'Length = Result'Length);
   
   -- N := N ^ W, W is a word
   procedure FZ_Xor_W(N : in out FZ; W : in Word);
   
   -- NotN := ~N
   procedure FZ_Neg(N : in FZ; NotN : out FZ);
   pragma Precondition(N'Length = NotN'Length);
   
end FZ_BitOp;