| Index Entry | Section |
|
! | | |
| ! | 1.5.2.4 Boolean Logic |
| ! | 1.7 Temporal Logic |
| !, transitions | 1.3.4 Transition Definition: `trans' |
| != | 1.5.2.3 Comparison |
|
# | | |
| # | 1.6 Operations on Multi-Sets |
| #! | 1.2.4.4 Preprocessor Comment: `#!' |
| #, unary | A.4.1 Literals |
| #define | 1.2.4.2 Conditional Processing |
| #else | 1.2.4.2 Conditional Processing |
| #endif | 1.2.4.2 Conditional Processing |
| #ifdef | 1.2.4.2 Conditional Processing |
| #ifndef | 1.2.4.2 Conditional Processing |
| #include | 1.2.4.1 Embedding Other Files: `#include' |
| #line | 1.2.4.3 Setting the Line Number: `#line' |
| #undef | 1.2.4.2 Conditional Processing |
|
% | | |
| % | 1.5.2.1 Integer Arithmetic |
| %, unary | 1.5.6 Buffers |
|
& | | |
| & | 1.5.2.1 Integer Arithmetic |
| && | 1.5.2.4 Boolean Logic |
| && | 1.7 Temporal Logic |
|
( | | |
| () | 1.7 Temporal Logic |
|
* | | |
| * | 1.5.2.1 Integer Arithmetic |
| *, unary | 1.5.6 Buffers |
|
+ | | |
| + | 1.5.2.1 Integer Arithmetic |
| +, buffer | 1.5.6 Buffers |
| +, unary | 1.5.2.2 Successor and Predecessor |
|
- | | |
| - | 1.5.2.1 Integer Arithmetic |
| -, unary | 1.5.2.1 Integer Arithmetic |
| -, unary, buffer | 1.5.6 Buffers |
|
. | | |
| . | 1.5.3 Structures |
| . | 1.5.4 Unions |
| .. | 1.4.4 Constraints |
|
/ | | |
| / | 1.5.2.1 Integer Arithmetic |
| /, unary | 1.5.6 Buffers |
|
: | | |
| :, arc expressions | 1.3.4 Transition Definition: `trans' |
| :, initial marking | 1.3.3 Place Definition: `place' |
|
< | | |
| < | 1.5.2.3 Comparison |
| <, unary | A.4.1 Literals |
| << | 1.5.2.1 Integer Arithmetic |
| <= | 1.5.2.3 Comparison |
| <=> | 1.5.2.4 Boolean Logic |
| <=> | 1.7 Temporal Logic |
| <> | 1.7 Temporal Logic |
|
= | | |
| = | 1.5.4 Unions |
| == | 1.5.2.3 Comparison |
| => | 1.5.2.4 Boolean Logic |
| => | 1.7 Temporal Logic |
|
> | | |
| > | 1.5.2.3 Comparison |
| >, unary | A.4.1 Literals |
| >= | 1.5.2.3 Comparison |
| >> | 1.5.2.1 Integer Arithmetic |
|
? | | |
| ?, unary | 1.5.5 Arrays |
| ?: | 1.5.2.5 Selection |
|
[ | | |
| [] | 1.7 Temporal Logic |
|
^ | | |
| ^ | 1.5.2.1 Integer Arithmetic |
| ^^ | 1.5.2.4 Boolean Logic |
| ^^ | 1.7 Temporal Logic |
|
| | | |
| | | 1.5.2.1 Integer Arithmetic |
| |, unary | 1.5.2.2 Successor and Predecessor |
| || | 1.5.2.4 Boolean Logic |
| || | 1.7 Temporal Logic |
|
~ | | |
| ~, unary | 1.5.2.1 Integer Arithmetic |
|
A | | |
| assertions | 1.3.6.1 Verifying Safety Properties |
| assertions | 1.5.1.3 Dynamic Errors |
| assignments | 3.1.3 Matching Concrete and Formal Tokens |
| assignments | 3.1.4 Finding Assignment Candidates |
| atom | 1.5.2.7 Atomicity |
|
B | | |
| bool | 1.4.2.2 Boolean Type |
| breadth, query language | 2.2.2.6 Exhaustive Analysis |
| buffers | 1.5.6 Buffers |
| bugs, reporting | C.5 Reporting Bugs |
|
C | | |
| capacity constraint | 1.3.3 Place Definition: `place' |
| cardinality | 1.6 Operations on Multi-Sets |
| catching dynamic errors | 1.5.1.3 Dynamic Errors |
| cd, query language | 2.2.2.18 Miscellanous Commands |
| char | 1.4.2.3 Character Type |
| character constants | 1.2.3.3 Character Constants |
| command line interface | 2.2.1 The Line Editor |
| command line options, `maria' | 2.1 Invoking Maria |
| compiledir, query language | 2.2.2.18 Miscellanous Commands |
| compiling | C. Compiling Maria |
| completion of names | 2.2.1.1 Name Completion |
| components, query language | 2.2.2.16 Strongly Connected Components |
| concepts, unification | 3.1.1 Concepts |
| conditional processing | 1.2.4.2 Conditional Processing |
| conditional processing, interactively | 2.2.3.2 Conditional Processing in the Editor |
| const | 1.3.3 Place Definition: `place' |
| constants | 1.5.1.1 Constants |
| constants, character | 1.2.3.3 Character Constants |
| constants, numeric | 1.2.3.2 Numeric Constants |
|
D | | |
| data types | 1.4 Data Types |
| data types, array | 1.4.3.3 Array |
| data types, boolean | 1.4.2.2 Boolean Type |
| data types, buffer | 1.4.3.4 Buffer (Queue or Stack) |
| data types, character | 1.4.2.3 Character Type |
| data types, conversions | 1.5.2.6 Type Casting |
| data types, defining | 1.3.1 Type Definitions: `typedef' |
| data types, enumerated | 1.4.2.4 Enumerated Type |
| data types, identifier | 1.4.2.5 Identifier Type |
| data types, integer | 1.4.2.1 Integer Types |
| data types, limiting with constraints | 1.4.4 Constraints |
| data types, structure | 1.4.3.1 Structure |
| data types, union | 1.4.3.2 Union |
| deadlock | 1.3.6.1 Verifying Safety Properties |
| debugging `maria' | C.4 Compiling Maria for Debugging |
| depth, query language | 2.2.2.6 Exhaustive Analysis |
| dining philosophers (example) | D.1 Dining Philosophers (`dining.pn') |
| distributed database management (example) | D.2 Distributed Database Management (`dbm.pn') |
| dump, query language | 2.2.2.2 Displaying a Model |
| dumpgraph, query language | 2.2.2.5 Exporting the Reachability Graph |
|