(1 . 3)(1 . 22)
284 ------------------------------------------------------------------------------
285 ------------------------------------------------------------------------------
286 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
287 -- --
288 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org ) --
289 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
290 -- --
291 -- You do not have, nor can you ever acquire the right to use, copy or --
292 -- distribute this software ; Should you use this software for any purpose, --
293 -- or copy and distribute it to anyone or in any manner, you are breaking --
294 -- the laws of whatever soi-disant jurisdiction, and you promise to --
295 -- continue doing so for the indefinite future. In any case, please --
296 -- always : read and understand any software ; verify any PGP signatures --
297 -- that you use - for any purpose. --
298 -- --
299 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
300 ------------------------------------------------------------------------------
301 ------------------------------------------------------------------------------
302
303 with FZ_Type; use FZ_Type;
304 with Words; use Words;
305
(28 . 7)(47 . 7)
307 procedure FZ_Xor_W(N : in out FZ; W : in Word);
308
309 -- NotN := ~N
310 procedure FZ_Neg(N : in FZ; NotN : out FZ);
311 procedure FZ_Not(N : in FZ; NotN : out FZ);
312 pragma Precondition(N'Length = NotN'Length);
313
314 end FZ_BitOp;