[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Index

Jump to:   !   #   %   &   (   *   +   -   .   /   :   <   =   >   ?   [   ^   |   ~  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   Q   R   S   T   U   V   W  

Index Entry Section

!
!1.5.2.4 Boolean Logic
!1.7 Temporal Logic
!, transitions1.3.4 Transition Definition: `trans'
!=1.5.2.3 Comparison

#
#1.6 Operations on Multi-Sets
#!1.2.4.4 Preprocessor Comment: `#!'
#, unaryA.4.1 Literals
#define1.2.4.2 Conditional Processing
#else1.2.4.2 Conditional Processing
#endif1.2.4.2 Conditional Processing
#ifdef1.2.4.2 Conditional Processing
#ifndef1.2.4.2 Conditional Processing
#include1.2.4.1 Embedding Other Files: `#include'
#line1.2.4.3 Setting the Line Number: `#line'
#undef1.2.4.2 Conditional Processing

%
%1.5.2.1 Integer Arithmetic
%, unary1.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
*, unary1.5.6 Buffers

+
+1.5.2.1 Integer Arithmetic
+, buffer1.5.6 Buffers
+, unary1.5.2.2 Successor and Predecessor

-
-1.5.2.1 Integer Arithmetic
-, unary1.5.2.1 Integer Arithmetic
-, unary, buffer1.5.6 Buffers

.
.1.5.3 Structures
.1.5.4 Unions
..1.4.4 Constraints

/
/1.5.2.1 Integer Arithmetic
/, unary1.5.6 Buffers

:
:, arc expressions1.3.4 Transition Definition: `trans'
:, initial marking1.3.3 Place Definition: `place'

<
<1.5.2.3 Comparison
<, unaryA.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
>, unaryA.4.1 Literals
>=1.5.2.3 Comparison
>>1.5.2.1 Integer Arithmetic

?
?, unary1.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
|, unary1.5.2.2 Successor and Predecessor
||1.5.2.4 Boolean Logic
||1.7 Temporal Logic

~
~, unary1.5.2.1 Integer Arithmetic

A
assertions1.3.6.1 Verifying Safety Properties
assertions1.5.1.3 Dynamic Errors
assignments3.1.3 Matching Concrete and Formal Tokens
assignments3.1.4 Finding Assignment Candidates
atom1.5.2.7 Atomicity

B
bool1.4.2.2 Boolean Type
breadth, query language2.2.2.6 Exhaustive Analysis
buffers1.5.6 Buffers
bugs, reportingC.5 Reporting Bugs

C
capacity constraint1.3.3 Place Definition: `place'
cardinality1.6 Operations on Multi-Sets
catching dynamic errors1.5.1.3 Dynamic Errors
cd, query language2.2.2.18 Miscellanous Commands
char1.4.2.3 Character Type
character constants1.2.3.3 Character Constants
command line interface2.2.1 The Line Editor
command line options, `maria'2.1 Invoking Maria
compiledir, query language2.2.2.18 Miscellanous Commands
compilingC. Compiling Maria
completion of names2.2.1.1 Name Completion
components, query language2.2.2.16 Strongly Connected Components
concepts, unification3.1.1 Concepts
conditional processing1.2.4.2 Conditional Processing
conditional processing, interactively2.2.3.2 Conditional Processing in the Editor
const1.3.3 Place Definition: `place'
constants1.5.1.1 Constants
constants, character1.2.3.3 Character Constants
constants, numeric1.2.3.2 Numeric Constants

D
data types1.4 Data Types
data types, array1.4.3.3 Array
data types, boolean1.4.2.2 Boolean Type
data types, buffer1.4.3.4 Buffer (Queue or Stack)
data types, character1.4.2.3 Character Type
data types, conversions1.5.2.6 Type Casting
data types, defining1.3.1 Type Definitions: `typedef'
data types, enumerated1.4.2.4 Enumerated Type
data types, identifier1.4.2.5 Identifier Type
data types, integer1.4.2.1 Integer Types
data types, limiting with constraints1.4.4 Constraints
data types, structure1.4.3.1 Structure
data types, union1.4.3.2 Union
deadlock1.3.6.1 Verifying Safety Properties
debugging `maria'C.4 Compiling Maria for Debugging
depth, query language2.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 language2.2.2.2 Displaying a Model
dumpgraph, query language2.2.2.5 Exporting the Reachability Graph

Jump to:   !   #   %   &   (   *   +   -   .   /   :   <   =   >   ?   [   ^   |   ~  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   Q   R   S   T   U   V   W  

[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by root on February, 13 2005 using texi2html