12 Jun
2006
12 Jun
'06
3:38 p.m.
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@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?