D7net Mini Sh3LL v1
| Current File : //media/../../usr/share/doc/libcurl3-gnutls/../libdrm2/../xfsprogs/../maria-doc/html/maria_11.html |
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html401/loose.dtd">
<html>
<!-- Created on March 22, 2020 by texi2html 1.82
texi2html was written by:
Lionel Cons <Lionel.Cons@cern.ch> (original author)
Karl Berry <karl@freefriends.org>
Olaf Bachmann <obachman@mathematik.uni-kl.de>
and many others.
Maintained by: Many creative people.
Send bugs and suggestions to <texi2html-bug@nongnu.org>
-->
<head>
<title>Maria: Index: Q – V</title>
<meta name="description" content="Maria: Index: Q – V">
<meta name="keywords" content="Maria: Index: Q – V">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2html 1.82">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
pre.display {font-family: serif}
pre.format {font-family: serif}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: serif; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: serif; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.roman {font-family:serif; font-weight:normal;}
span.sansserif {font-family:sans-serif; font-weight:normal;}
ul.toc {list-style: none}
-->
</style>
</head>
<body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="index_split-0"></a>
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="maria_10.html#Index" title="Previous section in reading order"> < </a>]</td>
<td valign="middle" align="left">[ > ]</td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left">[<a href="maria_9.html#Copying" title="Beginning of this chapter or previous chapter"> << </a>]</td>
<td valign="middle" align="left">[<a href="maria.html#Top" title="Up section"> Up </a>]</td>
<td valign="middle" align="left">[ >> ]</td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left">[<a href="maria.html#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[<a href="maria_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
<td valign="middle" align="left">[<a href="maria_10.html#Index" title="Index">Index</a>]</td>
<td valign="middle" align="left">[<a href="maria_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<h1 class="unnumbered">Index: Q – V</h1>
<table><tr><th valign="top">Jump to: </th><td><a href="maria_10.html#Index-1_cp_letter-A" class="summary-letter"><b>A</b></a>
<a href="maria_10.html#Index-1_cp_letter-B" class="summary-letter"><b>B</b></a>
<a href="maria_10.html#Index-1_cp_letter-C" class="summary-letter"><b>C</b></a>
<a href="maria_10.html#Index-1_cp_letter-D" class="summary-letter"><b>D</b></a>
<a href="maria_10.html#Index-1_cp_letter-E" class="summary-letter"><b>E</b></a>
<a href="maria_10.html#Index-1_cp_letter-F" class="summary-letter"><b>F</b></a>
<a href="maria_10.html#Index-1_cp_letter-G" class="summary-letter"><b>G</b></a>
<a href="maria_10.html#Index-1_cp_letter-I" class="summary-letter"><b>I</b></a>
<a href="maria_10.html#Index-1_cp_letter-L" class="summary-letter"><b>L</b></a>
<a href="maria_10.html#Index-1_cp_letter-M" class="summary-letter"><b>M</b></a>
<a href="maria_10.html#Index-1_cp_letter-N" class="summary-letter"><b>N</b></a>
<a href="maria_10.html#Index-1_cp_letter-O" class="summary-letter"><b>O</b></a>
<a href="maria_10.html#Index-1_cp_letter-P" class="summary-letter"><b>P</b></a>
<a href="#index_split-0_cp_letter-Q" class="summary-letter"><b>Q</b></a>
<a href="#index_split-0_cp_letter-R" class="summary-letter"><b>R</b></a>
<a href="#index_split-0_cp_letter-S" class="summary-letter"><b>S</b></a>
<a href="#index_split-0_cp_letter-T" class="summary-letter"><b>T</b></a>
<a href="#index_split-0_cp_letter-U" class="summary-letter"><b>U</b></a>
<a href="#index_split-0_cp_letter-V" class="summary-letter"><b>V</b></a>
</td></tr></table>
<table border="0" class="index-cp">
<tr><td></td><th align="left">Index Entry</th><th align="left"> Section</th></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="index_split-0_cp_letter-Q">Q</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-quantification">quantification</a></td><td valign="top"><a href="maria_2.html#Multi_002dSets">1.6 Operations on Multi-Sets</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-quantification_002c-expanding">quantification, expanding</a></td><td valign="top"><a href="maria_4.html#Quantification">3.1.2 Expanding Quantifications</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-query-language">query language</a></td><td valign="top"><a href="maria_3.html#Query-Language">2.2.2 The Query Language</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_5.html#index-query-language-1">query language</a></td><td valign="top"><a href="maria_5.html#Query-Grammar">A.3 The Query Language</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-queues">queues</a></td><td valign="top"><a href="maria_2.html#Buffers">1.5.6 Buffers</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="index_split-0_cp_letter-R">R</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-random-behavior">random behavior</a></td><td valign="top"><a href="maria_2.html#Output-Variables">1.8 Non-Determinism in Transitions</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-reachability-analysis">reachability analysis</a></td><td valign="top"><a href="maria_3.html#Analysis">2. Reachability Analysis with Maria</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-reachability-graph_002c-examining">reachability graph, examining</a></td><td valign="top"><a href="maria_3.html#Maria-Shell">2.2 The Maria Shell</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_6.html#index-reachability-graph_002c-file-format">reachability graph, file format</a></td><td valign="top"><a href="maria_6.html#Graph-Files">B. The Graph Files</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-reachability-graph_002c-generating">reachability graph, generating</a></td><td valign="top"><a href="maria_3.html#Invoking-Maria">2.1 Invoking Maria</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-Readline">Readline</a></td><td valign="top"><a href="maria_3.html#Name-Completion">2.2.1.1 Name Completion</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-redundant-places">redundant places</a></td><td valign="top"><a href="maria_2.html#Places">1.3.3 Place Definition: ‘<samp>place</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-reserved-words">reserved words</a></td><td valign="top"><a href="maria_2.html#Reserved-Words">1.2.3.1 Reserved Words</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="index_split-0_cp_letter-S">S</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-scoping_002c-identifiers">scoping, identifiers</a></td><td valign="top"><a href="maria_2.html#Scoping">1.9 Scoping of Identifiers</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-sets">sets</a></td><td valign="top"><a href="maria_2.html#Multi_002dSets">1.6 Operations on Multi-Sets</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-shadowing-declarations">shadowing declarations</a></td><td valign="top"><a href="maria_2.html#Scoping">1.9 Scoping of Identifiers</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-simulating">simulating</a></td><td valign="top"><a href="maria_3.html#Succ">2.2.2.11 Listing Successor Nodes</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-stacks">stacks</a></td><td valign="top"><a href="maria_2.html#Buffers">1.5.6 Buffers</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-state-propositions">state propositions</a></td><td valign="top"><a href="maria_2.html#Propositions">1.3.6.3 Specifying State Propositions for LSTS Output</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-state-space-explosion_002c-avoiding">state space explosion, avoiding</a></td><td valign="top"><a href="maria_2.html#Constraints">1.4.4 Constraints</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-strongly-connected-components">strongly connected components</a></td><td valign="top"><a href="maria_3.html#Strong">2.2.2.16 Strongly Connected Components</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-subnets">subnets</a></td><td valign="top"><a href="maria_2.html#Subnets">1.3.5 Defining Subnets for Modular State Space Exploration</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-successor-and-predecessor">successor and predecessor</a></td><td valign="top"><a href="maria_2.html#Successor">1.5.2.2 Successor and Predecessor</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-syntax-highlighting">syntax highlighting</a></td><td valign="top"><a href="maria_3.html#pn_002dmode">2.3.1 Installing the Petri Net mode</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-syntax-highlighting-1">syntax highlighting</a></td><td valign="top"><a href="maria_3.html#Highlighting">2.3.2 Syntax Highlighting</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="index_split-0_cp_letter-T">T</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-temporal-operators">temporal operators</a></td><td valign="top"><a href="maria_2.html#Temporal">1.7 Temporal Logic</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-terminal-component">terminal component</a></td><td valign="top"><a href="maria_3.html#Strong">2.2.2.16 Strongly Connected Components</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-tokens">tokens</a></td><td valign="top"><a href="maria_2.html#Places">1.3.3 Place Definition: ‘<samp>place</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-tokens_002c-formal-and-concrete">tokens, formal and concrete</a></td><td valign="top"><a href="maria_4.html#Binding">3.1.3 Matching Concrete and Formal Tokens</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-transitions_002c-enabled">transitions, enabled</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-transitions_002c-firing">transitions, firing</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-transitions_002c-instance-analysis">transitions, instance analysis</a></td><td valign="top"><a href="maria_4.html#Instance-Analysis">3.1.5 Transition Instance Analysis</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_3.html#index-trivial-component">trivial component</a></td><td valign="top"><a href="maria_3.html#Strong">2.2.2.16 Strongly Connected Components</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="index_split-0_cp_letter-U">U</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-unification">unification</a></td><td valign="top"><a href="maria_4.html#Unification">3.1 The Unification Algorithm</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_4.html#index-unification-stack">unification stack</a></td><td valign="top"><a href="maria_4.html#Instance-Analysis">3.1.5 Transition Instance Analysis</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-unions_002c-active-component">unions, active component</a></td><td valign="top"><a href="maria_2.html#Unions">1.5.4 Unions</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
<tr><th><a name="index_split-0_cp_letter-V">V</a></th><td></td><td></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-variable-declarations">variable declarations</a></td><td valign="top"><a href="maria_2.html#Transitions">1.3.4 Transition Definition: ‘<samp>trans</samp>’</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-variables">variables</a></td><td valign="top"><a href="maria_2.html#Variables">1.5.1.2 Variables</a></td></tr>
<tr><td></td><td valign="top"><a href="maria_2.html#index-variables_002c-output">variables, output</a></td><td valign="top"><a href="maria_2.html#Output-Variables">1.8 Non-Determinism in Transitions</a></td></tr>
<tr><td colspan="3"> <hr></td></tr>
</table>
<table><tr><th valign="top">Jump to: </th><td><a href="maria_10.html#Index-1_cp_letter-A" class="summary-letter"><b>A</b></a>
<a href="maria_10.html#Index-1_cp_letter-B" class="summary-letter"><b>B</b></a>
<a href="maria_10.html#Index-1_cp_letter-C" class="summary-letter"><b>C</b></a>
<a href="maria_10.html#Index-1_cp_letter-D" class="summary-letter"><b>D</b></a>
<a href="maria_10.html#Index-1_cp_letter-E" class="summary-letter"><b>E</b></a>
<a href="maria_10.html#Index-1_cp_letter-F" class="summary-letter"><b>F</b></a>
<a href="maria_10.html#Index-1_cp_letter-G" class="summary-letter"><b>G</b></a>
<a href="maria_10.html#Index-1_cp_letter-I" class="summary-letter"><b>I</b></a>
<a href="maria_10.html#Index-1_cp_letter-L" class="summary-letter"><b>L</b></a>
<a href="maria_10.html#Index-1_cp_letter-M" class="summary-letter"><b>M</b></a>
<a href="maria_10.html#Index-1_cp_letter-N" class="summary-letter"><b>N</b></a>
<a href="maria_10.html#Index-1_cp_letter-O" class="summary-letter"><b>O</b></a>
<a href="maria_10.html#Index-1_cp_letter-P" class="summary-letter"><b>P</b></a>
<a href="#index_split-0_cp_letter-Q" class="summary-letter"><b>Q</b></a>
<a href="#index_split-0_cp_letter-R" class="summary-letter"><b>R</b></a>
<a href="#index_split-0_cp_letter-S" class="summary-letter"><b>S</b></a>
<a href="#index_split-0_cp_letter-T" class="summary-letter"><b>T</b></a>
<a href="#index_split-0_cp_letter-U" class="summary-letter"><b>U</b></a>
<a href="#index_split-0_cp_letter-V" class="summary-letter"><b>V</b></a>
</td></tr></table>
<hr size="6">
<table cellpadding="1" cellspacing="1" border="0">
<tr><td valign="middle" align="left">[<a href="maria_9.html#Copying" title="Beginning of this chapter or previous chapter"> << </a>]</td>
<td valign="middle" align="left">[ >> ]</td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left"> </td>
<td valign="middle" align="left">[<a href="maria.html#Top" title="Cover (top) of document">Top</a>]</td>
<td valign="middle" align="left">[<a href="maria_toc.html#SEC_Contents" title="Table of contents">Contents</a>]</td>
<td valign="middle" align="left">[<a href="maria_10.html#Index" title="Index">Index</a>]</td>
<td valign="middle" align="left">[<a href="maria_abt.html#SEC_About" title="About (help)"> ? </a>]</td>
</tr></table>
<p>
<font size="-1">
This document was generated by <em>root</em> on <em>March 22, 2020</em> using <a href="http://www.nongnu.org/texi2html/"><em>texi2html 1.82</em></a>.
</font>
<br>
</p>
</body>
</html>
AnonSec - 2021 | Recode By D7net