
## 3 Code Source Code: Arrayboolean.Java

1 /∗
2 ∗ **ArrayBoo l ean . j av a : p a r t o f pa ckag e R e f e r e eTo o lb ox ; Im p l em e n ta t i on o f**
3 ∗ **Boo l ean a l g e b r a .** 4 **∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗**
5 ∗ Copyr ight ( c ) 2010 FrÃc dÃc **ric D am b r e v i l l e**
6 ∗
7 ∗ Author : FrÃc dÃc **ric D am b r e v i l l e <h t tp : / / em a i l . f r e d e r i c d a m b r e v i l l e . com>**
8 ∗
9 ∗ **Th is f i l e i s p a r t o f R e f e r e eTo o lb ox .**
10 ∗
11 ∗ **R e f e r e eTo o lb ox i s f r e e s o f t w a r e : you can r e d i s t r i b u t e i t and/ o r mod i fy** 12 ∗ **i t und e r th e t e rms o f th e GNU G e n e r a l P u b l i c L i c e n s e a s p u b l i sh e d by**
13 ∗ **th e Fr e e S o f twa r e Foundat ion , e i t h e r v e r s i o n 3 o f th e L i c e n se , o r**
14 ∗ **( a t your o p t i o n ) any l a t e r v e r s i o n .** 15 ∗
16 ∗ R e f e r e eTo o lb ox i s d i s t r i b u t e d i n th e hope th a t i t w i l l be u s e **f u l ,**
17 ∗ but WITHOUT ANY WARRANTY; w i th ou t ev en th e im p l i e d warranty o f 18 ∗ **MERCHANTABILITY o r FITNESS FOR A PARTICULAR PURPOSE. S e e the** 19 ∗ **GNU G e n e r a l P u b l i c L i c e n s e f o r more d e t a i l s .**
20 ∗
21 ∗ **You sh ou ld have r e c e i v e d a copy o f th e GNU G e n e r a l P u b l i c L i c en s e** 22 ∗ **a l on g w ith R e f e r e eTo o lb ox . I f not , s e e <h t tp : / /www . gnu . o rg / l i c e n s e s />.**
23 **∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗** 24 ∗/
25 26 **pa ckag e** RefereeToolbox ;
27 28 /∗∗ 29 ∗ Im p l em e nt at ion o f a Boo l ean s t r u c t u r e by means o f an a r r a y o f **{@code l on g } .**
30 ∗ **The AND and OR o p e r a t o r s a r e i n h e r i t e d from th e o p e r a t o r s {@code & } and {@code**←֓
| }
31 ∗ **work ing on {@code l on g } .** 32 ∗ <i>z e r o </ i> i s d e f i n e d by z e r o i n g a l l b i t s . <i>one</ i> i s d e **f i n e d by s e t t i n g t o**
33 ∗ **1 a l l a c t i v e b i t s ; th e r i g h t b i t s o f th e {@code l on g } v e c t o r may be i n a c t i v e ,**
34 ∗ **d ep end ing on th e s i z e o f th e L a t t i c e .**
35 ∗ The complement / cocomp lement o p e r a t o r s a r e i n h e r i t e d from **th e o p e r a t o r s {@code ~**←֓
}
36 ∗ work ing on {@code l on g } ; e x c e e d i n g b i t s a r e masked by a AND w i **th <i>one</ i >.**
37 ∗
38 ∗ @author <A h r e f =" h t tp : / / em a i l . f r e d e r i c d a m b r e v i l l e . com">FrÃc dÃc ric ←֓
D am b r e v i l l e</A>
39 ∗
40 ∗
41 ∗ 42 ∗ **<BR><BR><t a b l e b o rd e r = '1 ' c e l l P a d d i n g ='4'>< t r><td>** 43 ∗ <f o n t c o l o r ="\#008000" s t y l e =" f on t−**f am i l y : g e o r g i a ">**
44 ∗ Copyr ight ( c ) 2010 FrÃc dÃc **ric D am b r e v i l l e<BR>**
45 ∗ **<BR>**
46 ∗ **R e f e r e eTo o lb ox i s f r e e s o f t w a r e : you can r e d i s t r i b u t e i t and/ o r mod i fy**
47 ∗ **i t und e r th e t e rms o f th e GNU G e n e r a l P u b l i c L i c e n s e a s p u b l i sh e d by** 48 ∗ **th e Fr e e S o f twa r e Foundat ion , e i t h e r v e r s i o n 3 o f th e L i c e n se , o r**
49 ∗ **( a t your o p t i o n ) any l a t e r v e r s i o n .<BR>** 50 ∗ **<BR>**
51 ∗ R e f e r e eTo o lb ox i s d i s t r i b u t e d i n th e hope th a t i t w i l l be u s e **f u l ,** 52 ∗ but WITHOUT ANY WARRANTY; w i th ou t ev en th e im p l i e d warranty o f 53 ∗ **MERCHANTABILITY o r FITNESS FOR A PARTICULAR PURPOSE. S e e the**
54 ∗ **GNU G e n e r a l P u b l i c L i c e n s e f o r more d e t a i l s .<BR>** 55 ∗ **<BR>**
56 ∗ **You sh ou ld have r e c e i v e d a copy o f th e GNU G e n e r a l P u b l i c L i c en s e** 57 ∗ **a l on g w ith R e f e r e eTo o lb ox . I f not , s e e**
58 ∗ **<a h r e f = ' h t tp : / /www . gnu . o r g / l i c e n s e s / '> h t tp : / /www . gnu . o r g / l i c e n s e s /</a>.** 59 ∗ **</f on t ></t a b l e><BR>**
60 ∗
61 ∗/
62 **p u b l i c c l a s s** ArrayBoolean<L **e x t e nd s** ArrayBoolean<L>>
63 **e x t e nd s** ArrayLattice<L> **imp l em ents** ComplementedLattice<L> {
64