68 **p u b l i c c l a s s** Superpowerset<L **e x t e nd s** Superpowerset<L> > **e x t e nd s** Freeboolean <L> {
69 70 71 **// / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / :** 72 **// p u b l i c p a r t**
73 **// /////////////** 74 75 /∗∗
76 ∗ **S e t <i>t h i s </ i> t o one , th e n e u t r a l e l em e n t f o r** 77 ∗ { @ l ink Sup e rp ow e r s e t\#and ( j av a . l an g . Ob j e c t , j av a . l an g . **Ob j e c t ) } .**
78 ∗ **For th e c l a s s { @ l ink Sup e rp ow e r s e t } , th e f i r s t b i t o f <i>one</ i> i s s e t t o 0 .**
79 ∗
80 ∗/
81 @Override 82 **p u b l i c** L one **( ) {** 83 **sup e r** . one **( ) ;**
84 _memory **[0 ]&=0** xFFFFFFFFFFFFFFFEL ; **// remove th e f i r s t b i t**
85 r e t u r n ( L ) **t h i s** ;
86 }
87 88 /∗∗
89 ∗ Compute th e <b>complement</b> o f <i>a P r o p o s i t i o n </ i> and **s t o r e th e r e s u l t** ←֓
w i t h i n 90 ∗ **<i>t h i s </ i >.** 91 ∗ For th e c l a s s { @ l ink Sup e rp ow e r s e t } , th e f i r s t b i t o f th e r e s **u l t i s s e t t o 0 .**
92 ∗ **<BR><BR>**
93 ∗ **<b>Documentat ion i n h e r i t e d from {@ l ink F r e e b o o l e an }:</b><BR>** 94 ∗ **{ @ inh e r i tD o c}**
95 ∗
96 ∗/
97 @Override 98 **p u b l i c** L complement ( L aProposition ) {
99 **sup e r** . complement ( aProposition ) ;
100 _memory **[0 ]&=0** xFFFFFFFFFFFFFFFEL ; **// remove th e f i r s t b i t**
101 r e t u r n ( L ) **t h i s** ;
102 }
103 104 /∗∗ 105 ∗ Compute th e <b>complement</b> o f <i>t h i s </ i> and s t o r e th e **r e s u l t w i t h i n**
106 ∗ **<i>t h i s </ i >.**
107 ∗ For th e c l a s s { @ l ink Sup e rp ow e r s e t } , th e f i r s t b i t o f th e r e s **u l t i s s e t t o 0 .** 108 ∗ **<BR><BR>**
109 ∗ **<b>Documentat ion i n h e r i t e d from {@ l ink F r e e b o o l e an }:</b><BR>**
110 ∗ **{ @ inh e r i tD o c}**
111 ∗ 112 ∗/
113 @Override 114 **p u b l i c** L complement **( ) {**
115 **sup e r** . complement **( ) ;**
116 _memory **[0 ]&=0** xFFFFFFFFFFFFFFFEL ; **// remove th e f i r s t b i t**
117 r e t u r n ( L ) **t h i s** ;
118 } 119 120 }