12 Jun
2006
12 Jun
'06
5:38 p.m.
>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)lrde.epita.fr> writes:
+ prism-to-box:
+ Cumul(exp) -> H hs=0 [ KW["C"] MATH["<="] ~exp ]
+
+ prism-to-box:
+ Inst(exp) -> H hs=0 [ KW["I"] MATH["="] ~exp ]
+
+ prism-to-box:
+ Reach(formula) -> H hs=1 [ KW["F"] ~formula ]
Why don't you use concrete syntax?