Differences

This shows you the differences between two versions of the page.

Link to this comparison view

online:protos2protos [2009/06/09 14:30] (current)
Line 1: Line 1:
 +==== Protos To Protos conversion ====
 +
 +=== Input ===
 +[[http://​www.win.tue.nl/​~hverbeek/​doku.php?​id=projects:​prom:​models:​protos|Protos model]]
 +
 +=== Output ===
 +[[http://​www.win.tue.nl/​~hverbeek/​doku.php?​id=projects:​prom:​models:​protos|Protos model]]
 +
 +=== Description ===
 +This plug-in converts a Protos model into a Protos model where all implicit conditions have been made explicit (have been '​added'​).
 +