← Back to branch summary

~tapaal-dist/verifypn/LTSmin

« back to all changes in this revision

Viewing changes to PetriEngine/PQL/PQLQueryTokens.l

  • Committer: Jiri Srba
  • Date: 2014-05-18 17:03:05 UTC
  • mfrom: (44.2.52 sumoXMLparsing)
  • Revision ID: srba@cs.aau.dk-20140518170305-jzggi1p4r4n32ydp
merged in a branch adding a parser for XMP competition queries
launch script is added too

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/PQL/PQLQueryTokens.l
14
14
 
15
15
digit         [0-9]
16
16
letter        [a-zA-Z_]
17
 
 
18
17
%%
19
18
 
20
19
[ \t\n\r]         ;