Difference between pages "Template:InfRule" and "Template:L action"

Revision as of 13:50, 26 February 2009

Template use to typeset an action in an event-b listing.

MACHINE

AntiCollide

REFINES

Safety

SEES

Network

Acyclic

VARIABLES

v1

v2

control ≙

// not extended and no convergence

THEN

act1{{{2}}} :

END

{{{1}}}{{{2}}} :

@@ Line 1: / Line 1: @@
 <noinclude>
-Template use to specify a named inference rule
+==Usage==
-== Usage ==
+Template use to typeset an action in an event-b listing.
-<pre><nowiki>
+==Example==
-{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
-</nowiki></pre>
+{{l_machine|AntiCollide}}
-== Example ==
+{{l_refines|Safety}}
-{{InfRule|HYP|<math>\frac{X}{\textbf{H},\textbf{P} \;\;\vdash \;\; \textbf{P}}</math>}}
+{{l_sees|Network}}
-[[Category:Typesetting template]]
+{{l_component|Acyclic}}
-== Template ==
+{{l_Variables|v1}}
-</noinclude>
+{{l_variable|v2}}
-<includeonly>{|class="Infrule" text-align="center" border="1"  frame="box" rules="none" cellspacing="4" cellpadding="15"  style="margin:1em 1em 1em 0; border-color: #AAAAAA; border-style:solid; empty-cells:show; display:inline-table;{{{style|}}}"
+{{l_event|control}}
-|{{#if:1 | <math> }} {{{2}}} {{#if:1 | </math> }}
+{{l_actions}}
-|{{{1}}}
+{{l_action|act1|b := 0}}
-|}</includeonly>
+{{l_end_events}}
+{{l_end}}
+[[Category:Listing templates]]
+==Template==
+</noinclude><!--
+--><p class="typeset-l_action">{{l_label|{{{1}}}{{{2}}}}}</p>