prov-c internal release
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 23 Jul 2012 14:50:20 +0100
changeset 4235 b5444b17f90d
parent 4234 a0294d27dc9f
child 4236 44d45f762f37
prov-c internal release
model/releases/ED-prov-constraints-20120723/prov-constraints.html
--- a/model/releases/ED-prov-constraints-20120723/prov-constraints.html	Mon Jul 23 14:49:36 2012 +0100
+++ b/model/releases/ED-prov-constraints-20120723/prov-constraints.html	Mon Jul 23 14:50:20 2012 +0100
@@ -1476,10 +1476,11 @@
 <span class="name">a3</span> completes before <span class="name">a1</span>.  So it is impossible for <span class="name">a3</span> to have used an entity generated by <span class="name">a1</span>. This is illustrated in <a href="#counterexample-wasInformedBy">Figure 1</a>.</p>
 
 <div style="text-align: center;">
-<figure>
+<span class="figure">
 <img src="images/constraints/informedByNonTransitive.png" alt="non transitivity of wasInformedBy">
-<figcaption id="counterexample-wasInformedBy"><b>Figure 1:</b> Counter-example for transitivity of wasInformedBy</figcaption>
-</figure>
+<br>
+<span class="figcaption" data-count="1" id="counterexample-wasInformedBy">Figure 1<sup><a class="internalDFN" href="#counterexample-wasInformedBy"><span class="diamond"> ◊:</span></a></sup> Counter-example for transitivity of wasInformedBy</span>
+</span> <!-- <b>Figure 1:</b>  -->
 </div>
 </div>
 
@@ -2357,10 +2358,11 @@
 
   <div style="text-align: center;">
 
-<figure id="ordering-activity">
+<span class="figure" id="ordering-activity">
 <img src="images/constraints/ordering-activity.png" alt="constraints between events">
-<figcaption id="ordering-activity-fig"><b>Figure 2:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for activities</figcaption>
-</figure>
+<br>
+<span class="figcaption" data-count="2" id="ordering-activity-fig">Figure 2<sup><a class="internalDFN" href="#ordering-activity-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for activities</span> <!-- <b>Figure 2:</b>  -->
+</span>
 </div>
 
 
@@ -2526,9 +2528,10 @@
 
   
 <div style="text-align: center;">
-<figure id="ordering-entity">
+<span class="figure" id="ordering-entity">
 <img src="images/constraints/ordering-entity.png" alt="ordering constraints for entities">
-<figcaption id="ordering-entity-fig"><b>Figure 3:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for entities</figcaption></figure>
+<br>
+<span class="figcaption" data-count="3" id="ordering-entity-fig">Figure 3<sup><a class="internalDFN" href="#ordering-entity-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for entities</span></span>  <!-- <b>Figure 3:</b>  -->
 </div>
 
 <p>
@@ -2712,10 +2715,11 @@
 </div>
 
 <div style="text-align: center;">
-<figure id="ordering-entity-trigger">
+<span class="figure" id="ordering-entity-trigger">
 <img src="images/constraints/ordering-entity-trigger.png" alt="ordering constraints for trigger entities">
-<figcaption id="ordering-entity-trigger-fig"><b>Figure 4:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for trigger entities</figcaption>
-</figure>
+<br>
+<span class="figcaption" data-count="4" id="ordering-entity-trigger-fig">Figure 4<sup><a class="internalDFN" href="#ordering-entity-trigger-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for trigger entities</span>  <!-- <b>Figure 4:</b> -->
+</span>
 </div>
 
 <hr>
@@ -2758,11 +2762,12 @@
 <p>Further constraints associated with agents appear in <a href="#ordering-agents">Figure 5</a> and are discussed below.</p>
 
 <div style="text-align: center;">
-<figure id="ordering-agents">
+<span class="figure" id="ordering-agents">
 <img src="images/constraints/ordering-agents.png" alt="ordering constraints for agents">
-<figcaption><b>Figure 5:</b> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering
-  constraints for agents</figcaption>
-</figure>
+<br>
+<figcaption>Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering
+  constraints for agents</figcaption> <!--<b>Figure 5:</b> -->
+</span>
 </div>
 
 <hr>