(1 . 3)(1 . 22)
241 ------------------------------------------------------------------------------
242 ------------------------------------------------------------------------------
243 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'. --
244 -- --
245 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org ) --
246 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html --
247 -- --
248 -- You do not have, nor can you ever acquire the right to use, copy or --
249 -- distribute this software ; Should you use this software for any purpose, --
250 -- or copy and distribute it to anyone or in any manner, you are breaking --
251 -- the laws of whatever soi-disant jurisdiction, and you promise to --
252 -- continue doing so for the indefinite future. In any case, please --
253 -- always : read and understand any software ; verify any PGP signatures --
254 -- that you use - for any purpose. --
255 -- --
256 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
257 ------------------------------------------------------------------------------
258 ------------------------------------------------------------------------------
259
260 package body FZ_BitOp is
261
262 -- Result := X & Y
(55 . 13)(74 . 13)
264
265
266 -- NotN := ~N
267 procedure FZ_Neg(N : in FZ;
268 procedure FZ_Not(N : in FZ;
269 NotN : out FZ) is
270 begin
271 for i in N'Range loop
272 NotN(i) := not N(i);
273 end loop;
274 end FZ_Neg;
275 pragma Inline_Always(FZ_Neg);
276 end FZ_Not;
277 pragma Inline_Always(FZ_Not);
278
279 end FZ_BitOp;