2 Copyright (c) 2000-2015 Ericsson Telecom AB
4 All rights reserved. This program and the accompanying materials
5 are made available under the terms of the Eclipse Public License v1.0
6 which accompanies this distribution, and is available at
7 http://www.eclipse.org/legal/epl-v10.html
11 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8">
12 <meta http-equiv=
"Content-Language" content=
"en-us">
15 <body bgcolor=
"#DAD3C5" vlink=
"#0094D2" link=
"#003258">
16 <table align=
"left" border=
"0" cellspacing=
"0" cellpadding=
"0" valign=top
>
18 <td width=
105 height=
40><a href=
"https://projects.eclipse.org/projects/tools.titan"><img src=
"../images/titan_transparent.gif" border=
0 width=
105 height=
40 align=
"left" alt=
"Titan"></a></td>
21 <table border=
"0" align=
"right" cellpadding=
"0" cellspacing=
"0">
23 <td><a href=
"../titan_main.html" alt=
"contents"><img border=
"0" src=
"../images/ao.jpg" width=
"53" height=
"40"></a></td>
24 <td><a href=
"../titan_index.html" alt=
"index"><img border=
"0" src=
"../images/up.jpg" width=
"53" height=
"40"></a></td>
25 <td><a href=
"not.html" alt=
"previous"><img border=
"0" src=
"../images/left.jpg" width=
"53" height=
"40"></a></td>
26 <td><a href=
"nowait.html" alt=
"next"><img border=
"0" src=
"../images/right.jpg" width=
"53" height=
"40"></a></td>
33 <hr align=
"left" width=
"75%">
34 <p>The keyword
<b><font face=
"Courier New">not4b
</font></b> belongs to the family of the bitwise operators operating on
<font face=
"Courier New"><b>bitstring
</b></font>s,
<font face=
"Courier New"><b>hexstring
</b></font>s
35 or
<font face=
"Courier New"><b>octetstring
</b></font>s of equal length. It performs the following operation: for each bit in the operand, bit
1 is set to
0 and bit
0 is set to
1. In other words, the
36 unary operator
<b><font face=
"Courier New">not4b
</font></b> inverts the individual bit values of its operand.
</p>
37 <p>Related keywords:
</p>
39 <li><a href=
"bitstring.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">bitstring
</font></b></a></li>
40 <li><a href=
"hexstring.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">hexstring
</font></b></a></li>
41 <li><a href=
"octetstring.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">octetstring
</font></b></a></li>
42 <li><a href=
"and4b.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">and4b
</font></b></a></li>
43 <li><a href=
"or4b.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">or4b
</font></b></a></li>
44 <li><a href=
"xor4b.html"><b><font face=
"Courier New" color=
"#003258" size=
"4">xor4b
</font></b></a></li>
46 <hr align=
"left" width=
"50%">
49 <table border=
"0" width=
"90%" bgcolor=
"#FFB599" cellpadding=
"4">
52 <h3 align=
"center"><font face=
"Courier New" color=
"#003258" size=
"5"><b>not4b
</b></font></h3>
58 <hr align=
"left" width=
"50%">
60 <p><font face=
"Courier New">const bitstring c_teplo := '
1001'B;
</font> <br>
61 <font face=
"Courier New"> var bitstring v_praze := not4b c_teplo;
</font>
62 <p>The variable v_praze will initially contain the value '
0110'B.
</p>
63 <hr align=
"left" width=
"50%">
65 <p><font face=
"Courier New">const hexstring c_uttal := '
1A5'H ;
<br>
66 var hexstring v_omkom := not4b c_uttal;
</font>
67 <p>The variable v_omkom will initially contain the value 'E5A'H.
</p>
68 <hr align=
"left" width=
"50%">
70 <p><font face=
"Courier New">const octstring c_tirer := '
01A5'O ;
<br>
71 var octstring v_virer := not4b c_tirer;
</font>
72 <p>The variable v_virer will initially contain the value 'FE5A'O.
</p>
73 <hr align=
"left" width=
"25%">
74 <hr align=
"left" width=
"25%">
75 <p><a HREF=
"BNF.html#bitnotexpression">BNF definition
</a> of
<font face=
"Courier New">not4b
</font></p>