
65

66 **// / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / :** 67 **// p u b l i c p a r t**

68 **// /////////////** 69

70 /∗∗

71 ∗ 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

72 ∗ **<i>t h i s </ i >.**

73 ∗ 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 ~ }

74 ∗ 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** ←֓

>.

75 ∗ **The complement and cocomp lement a r e th e same f o r {@ l ink ArrayBoo l ean }**

76 ∗ **<BR><BR>**

77 ∗ **<b>Documentat ion i n h e r i t e d from {@ l ink Comp l em ent edLatti c e }:</b><BR>**

78 ∗ **{ @ inh e r i tD o c}** 79 ∗

80 ∗/

81 **p u b l i c** L complement ( L aProposition ) {

82 l on g [ ] rightmem=aProposition . _memory ;

83 **i n t** i ; 84 f o r ( i=0;i<=size_mem_1 ; i++) _memory [ i ]=~ rightmem [ i ] ;

85 _memory [ size_mem_1]&=highest_long_one ;

86 r e t u r n ( L ) **t h i s** ;

87 }

88 89 /∗∗

90 ∗ 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

91 ∗ **<i>t h i s </ i >.**

92 ∗ 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 ~ }

93 ∗ 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** ←֓

>.

94 ∗ **The complement and cocomp lement a r e th e same f o r {@ l ink ArrayBoo l ean }**

95 ∗ **<BR><BR>**

96 ∗ **<b>Documentat ion i n h e r i t e d from {@ l ink Comp l em ent edLatti c e }:</b><BR>** 97 ∗ **{ @ inh e r i tD o c}**

98 ∗

99 ∗/

100 **p u b l i c** L complement **( ) {** 101 **i n t** i ; 102 f o r ( i=0;i<=size_mem_1 ; i++) _memory [ i ]=~ _memory [ i ] ; 103 _memory [ size_mem_1]&=highest_long_one ;

104 r e t u r n ( L ) **t h i s** ;

105 }

106 107 /∗∗

108 ∗ 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

109 ∗ **<i>t h i s </ i >.**

110 ∗ 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 ~ }

111 ∗ 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** ←֓

>.

112 ∗ **The complement and cocomp lement a r e th e same f o r {@ l ink ArrayBoo l ean }**

113 ∗ **<BR><BR>**

114 ∗ **<b>Documentat ion i n h e r i t e d from {@ l ink Comp l em ent edLatti c e }:</b><BR>** 115 ∗ **{ @ inh e r i tD o c}**

116 ∗

117 ∗/

118 **p u b l i c** L cocomplement ( L aProposition ) { 119 **r e t u r n** complement ( aProposition ) ;

120 }

121 122 /∗∗

123 ∗ 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

124 ∗ **<i>t h i s </ i >.**

125 ∗ 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 ~ }

126 ∗ 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** ←֓

>.
