Difference between pages "All Rewrite Rules" and "AnimB"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Laurent
(Add Empty Set Rewrite Rules)
 
imported>Christophe
(New page: 100px == Animator of B system model in the Rodin platform. == ---- AnimB is an animator for the Rodin platform. It allows animation of complete model (all refinements...)
 
Line 1: Line 1:
−
<font color=red>CAUTION! Any modification to this page shall be announced on the [[#Mailing_lists |User]] mailing list!</font>
+
[[Image:AnimB.png|100px]]  
 +
== Animator of B system model in the Rodin platform. ==
  
−
This page groups together all the rewrite rules implemented (or planned for implementation) in the Rodin prover. The rules themselves can be found in their respective location (for editing purposes):
+
----
−
 
+
AnimB is an animator for the Rodin platform. It allows animation of complete model (all refinements), and can be used to create a complex animation with graphical interface.
−
Conventions used in these tables are described in [[The_Proving_Perspective_%28Rodin_User_Manual%29#Rewrite_rules]]
 
−
 
 
−
==[[Set Rewrite Rules]]==
 
−
{{:Set Rewrite Rules}}
 
−
 
 
−
==[[Relation Rewrite Rules]]==
 
−
{{:Relation Rewrite Rules}}
 
−
 
 
−
==[[Empty Set Rewrite Rules]]==
 
−
{{:Empty Set Rewrite Rules}}
 
−
 
 
−
==[[Arithmetic Rewrite Rules]]==
 
−
{{:Arithmetic Rewrite Rules}}
 
−
 
 
−
==[[Extension Proof Rules]]==
 
−
{{:Extension Proof Rules}}
 

Revision as of 13:14, 29 June 2008

AnimB.png

Animator of B system model in the Rodin platform.

AnimB is an animator for the Rodin platform. It allows animation of complete model (all refinements), and can be used to create a complex animation with graphical interface.

Retrieved from ‘https://wiki.event-b.org/index.php?title=All_Rewrite_Rules&oldid=696’