| ofs | hex dump | ascii |
|---|---|---|
| 0000 | 89 65 6d 66 0a 0d 1a 0a 00 03 01 01 22 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 73 65 2e | .emf........"http://www.eclipse. |
| 0020 | 6f 72 67 2f 32 30 30 38 2f 58 74 65 78 74 01 22 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 | org/2008/Xtext."http://www.eclip |
| 0040 | 73 65 2e 6f 72 67 2f 32 30 30 38 2f 58 74 65 78 74 02 2f 01 08 47 72 61 6d 6d 61 72 02 05 6e 61 | se.org/2008/Xtext./..Grammar..na |
| 0060 | 6d 65 29 68 75 2e 62 6d 65 2e 6d 69 74 2e 69 6e 66 2e 64 73 6c 72 65 61 73 6f 6e 65 72 2e 41 6c | me)hu.bme.mit.inf.dslreasoner.Al |
| 0080 | 6c 6f 79 4c 61 6e 67 75 61 67 65 03 0d 75 73 65 64 47 72 61 6d 6d 61 72 73 02 02 01 01 02 23 6f | loyLanguage..usedGrammars.....#o |
| 00a0 | 72 67 2e 65 63 6c 69 70 73 65 2e 78 74 65 78 74 2e 63 6f 6d 6d 6f 6e 2e 54 65 72 6d 69 6e 61 6c | rg.eclipse.xtext.common.Terminal |
| 00c0 | 73 04 14 64 65 66 69 6e 65 73 48 69 64 64 65 6e 54 6f 6b 65 6e 73 01 05 0d 68 69 64 64 65 6e 54 | s..definesHiddenTokens...hiddenT |
| 00e0 | 6f 6b 65 6e 73 04 03 01 02 0d 54 65 72 6d 69 6e 61 6c 52 75 6c 65 02 05 6e 61 6d 65 03 57 53 03 | okens.....TerminalRule..name.WS. |
| 0100 | 05 74 79 70 65 04 01 03 08 54 79 70 65 52 65 66 02 0a 6d 65 74 61 6d 6f 64 65 6c 05 01 04 14 52 | .type....TypeRef..metamodel....R |
| 0120 | 65 66 65 72 65 6e 63 65 64 4d 65 74 61 6d 6f 64 65 6c 02 09 65 50 61 63 6b 61 67 65 06 02 26 68 | eferencedMetamodel..ePackage..&h |
| 0140 | 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 73 65 2e 6f 72 67 2f 65 6d 66 2f 32 30 30 32 2f 45 | ttp://www.eclipse.org/emf/2002/E |
| 0160 | 63 6f 72 65 02 26 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 73 65 2e 6f 72 67 2f 65 6d 66 | core.&http://www.eclipse.org/emf |
| 0180 | 2f 32 30 30 32 2f 45 63 6f 72 65 02 2f 01 09 45 50 61 63 6b 61 67 65 00 02 02 2f 03 06 61 6c 69 | /2002/Ecore./..EPackage.../..ali |
| 01a0 | 61 73 06 65 63 6f 72 65 01 03 0b 63 6c 61 73 73 69 66 69 65 72 07 02 02 0a 45 44 61 74 61 54 79 | as.ecore...classifier....EDataTy |
| 01c0 | 70 65 00 02 0a 2f 2f 45 53 74 72 69 6e 67 01 04 0d 61 6c 74 65 72 6e 61 74 69 76 65 73 08 01 05 | pe...//EString...alternatives... |
| 01e0 | 0d 41 6c 74 65 72 6e 61 74 69 76 65 73 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2b 05 09 65 6c | .Alternatives..cardinality.+..el |
| 0200 | 65 6d 65 6e 74 73 05 09 01 06 08 4b 65 79 77 6f 72 64 05 06 76 61 6c 75 65 02 20 01 0a 01 06 05 | ements.....Keyword..value....... |
| 0220 | 02 09 01 0b 01 06 05 02 0d 01 0c 01 06 05 02 0a 01 01 01 0d 01 02 02 0b 4d 4c 5f 43 4f 4d 4d 45 | ........................ML_COMME |
| 0240 | 4e 54 03 0e 01 03 02 05 03 07 01 04 0f 01 07 06 47 72 6f 75 70 05 09 65 6c 65 6d 65 6e 74 73 03 | NT..............Group..elements. |
| 0260 | 10 01 06 05 03 2f 2a 01 11 01 08 0b 55 6e 74 69 6c 54 6f 6b 65 6e 05 09 74 65 72 6d 69 6e 61 6c | ...../*.....UntilToken..terminal |
| 0280 | 12 01 06 05 03 2a 2f 01 01 01 01 13 01 02 02 0b 53 4c 5f 43 4f 4d 4d 45 4e 54 03 14 01 03 02 05 | .....*/.........SL_COMMENT...... |
| 02a0 | 03 07 01 04 15 01 07 05 04 16 01 06 05 03 2f 2f 01 17 01 09 0d 4e 65 67 61 74 65 64 54 6f 6b 65 | ..............//.....NegatedToke |
| 02c0 | 6e 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2a 05 09 74 65 72 6d 69 6e 61 6c 18 01 05 05 03 19 | n..cardinality.*..terminal...... |
| 02e0 | 01 06 05 02 0a 01 1a 01 06 05 02 0d 01 01 01 1b 01 07 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 | ....................cardinality. |
| 0300 | 3f 05 03 1c 01 06 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 3f 05 02 0d 01 1d 01 06 05 02 0a 01 | ?.......cardinality.?........... |
| 0320 | 01 01 01 06 16 6d 65 74 61 6d 6f 64 65 6c 44 65 63 6c 61 72 61 74 69 6f 6e 73 02 05 07 06 72 75 | .....metamodelDeclarations....ru |
| 0340 | 6c 65 73 08 1e 01 02 02 03 49 44 03 1f 01 03 02 05 03 07 01 04 20 01 07 05 04 21 01 06 02 02 3f | les......ID...............!....? |
| 0360 | 05 02 5e 01 22 01 05 05 04 23 01 0a 0f 43 68 61 72 61 63 74 65 72 52 61 6e 67 65 05 05 6c 65 66 | ..^."....#...CharacterRange..lef |
| 0380 | 74 24 01 06 05 02 61 01 06 06 72 69 67 68 74 25 01 06 05 02 7a 01 01 26 01 0a 05 27 01 06 05 02 | t$....a...right%....z..&...'.... |
| 03a0 | 41 01 06 28 01 06 05 02 5a 01 01 29 01 06 05 02 5f 01 01 2a 01 05 02 02 2a 05 05 2b 01 0a 05 2c | A..(....Z..)...._..*....*..+..., |
| 03c0 | 01 06 05 02 61 01 06 2d 01 06 05 02 7a 01 01 2e 01 0a 05 2f 01 06 05 02 41 01 06 30 01 06 05 02 | ....a..-....z....../....A..0.... |
| 03e0 | 5a 01 01 31 01 06 05 02 5f 01 32 01 0a 05 33 01 06 05 02 30 01 06 34 01 06 05 02 39 01 01 01 01 | Z..1...._.2...3....0..4....9.... |
| 0400 | 01 35 01 02 02 04 49 4e 54 03 36 01 03 02 05 03 37 02 02 00 02 07 2f 2f 45 49 6e 74 01 04 38 01 | .5....INT.6.....7.....//EInt..8. |
| 0420 | 0a 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2b 05 39 01 06 05 02 30 01 06 3a 01 06 05 02 39 01 | ...cardinality.+.9....0..:....9. |
| 0440 | 01 01 3b 01 02 02 07 53 54 52 49 4e 47 03 3c 01 03 02 05 03 07 01 04 3d 01 05 05 03 3e 01 07 05 | ..;....STRING.<........=....>... |
| 0460 | 04 3f 01 06 05 02 22 01 40 40 01 05 02 02 2a 05 03 40 41 01 07 05 03 40 42 01 06 05 02 5c 01 40 | .?....".@@....*..@A....@B....\.@ |
| 0480 | 43 01 0b 09 57 69 6c 64 63 61 72 64 01 01 40 44 01 09 05 40 45 01 05 05 03 40 46 01 06 05 02 5c | C...Wildcard..@D...@E....@F....\ |
| 04a0 | 01 40 47 01 06 05 02 22 01 01 01 01 40 48 01 06 05 02 22 01 01 40 49 01 07 05 04 40 4a 01 06 05 | .@G...."....@H...."..@I....@J... |
| 04c0 | 02 27 01 40 4b 01 05 02 02 2a 05 03 40 4c 01 07 05 03 40 4d 01 06 05 02 5c 01 40 4e 01 0b 01 01 | .'.@K....*..@L....@M....\.@N.... |
| 04e0 | 40 4f 01 09 05 40 50 01 05 05 03 40 51 01 06 05 02 5c 01 40 52 01 06 05 02 27 01 01 01 01 40 53 | @O...@P....@Q....\.@R....'....@S |
| 0500 | 01 06 05 02 27 01 01 01 01 0d 13 03 40 54 01 02 02 0a 41 4e 59 5f 4f 54 48 45 52 03 40 55 01 03 | ....'.......@T....ANY_OTHER.@U.. |
| 0520 | 02 05 03 07 01 04 40 56 01 0b 01 01 01 06 02 40 57 01 0c 13 47 65 6e 65 72 61 74 65 64 4d 65 74 | ......@V.......@W...GeneratedMet |
| 0540 | 61 6d 6f 64 65 6c 02 09 65 50 61 63 6b 61 67 65 40 58 02 01 00 03 34 68 74 74 70 3a 2f 2f 77 77 | amodel..ePackage@X....4http://ww |
| 0560 | 77 2e 62 6d 65 2e 68 75 2f 6d 69 74 2f 69 6e 66 2f 64 73 6c 72 65 61 73 6f 6e 65 72 2f 41 6c 6c | w.bme.hu/mit/inf/dslreasoner/All |
| 0580 | 6f 79 4c 61 6e 67 75 61 67 65 02 2f 04 05 6e 61 6d 65 0e 61 6c 6c 6f 79 4c 61 6e 67 75 61 67 65 | oyLanguage./..name.alloyLanguage |
| 05a0 | 01 07 27 40 59 01 0d 0b 50 61 72 73 65 72 52 75 6c 65 02 05 6e 61 6d 65 0c 41 4c 53 44 6f 63 75 | ..'@Y...ParserRule..name.ALSDocu |
| 05c0 | 6d 65 6e 74 03 05 74 79 70 65 40 5a 01 03 02 40 57 03 40 5b 02 03 07 45 43 6c 61 73 73 00 03 0e | ment..type@Z...@W.@[...EClass... |
| 05e0 | 2f 2f 41 4c 53 44 6f 63 75 6d 65 6e 74 01 04 0d 61 6c 74 65 72 6e 61 74 69 76 65 73 40 5c 01 07 | //ALSDocument...alternatives@\.. |
| 0600 | 05 03 40 5d 01 05 02 02 2b 05 06 40 5e 01 0e 0b 41 73 73 69 67 6e 6d 65 6e 74 05 08 66 65 61 74 | ..@]....+..@^...Assignment..feat |
| 0620 | 75 72 65 11 65 6e 75 6d 44 65 63 6c 61 72 61 74 69 6f 6e 73 06 09 6f 70 65 72 61 74 6f 72 03 2b | ure.enumDeclarations..operator.+ |
| 0640 | 3d 07 09 74 65 72 6d 69 6e 61 6c 40 5f 01 0f 09 52 75 6c 65 43 61 6c 6c 05 05 72 75 6c 65 40 60 | =..terminal@_...RuleCall..rule@` |
| 0660 | 01 0d 02 13 41 4c 53 45 6e 75 6d 44 65 63 6c 61 72 61 74 69 6f 6e 03 40 61 01 03 02 40 57 03 40 | ....ALSEnumDeclaration.@a...@W.@ |
| 0680 | 62 02 03 00 03 15 2f 2f 41 4c 53 45 6e 75 6d 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 40 63 01 07 | b.....//ALSEnumDeclaration..@c.. |
| 06a0 | 05 07 40 64 01 06 05 05 65 6e 75 6d 01 40 65 01 0e 05 05 6e 61 6d 65 06 02 3d 07 40 66 01 0f 05 | ..@d....enum.@e....name..=.@f... |
| 06c0 | 40 67 01 0d 02 06 41 4c 53 49 44 03 40 68 01 03 02 05 03 07 01 04 40 69 01 0f 05 40 6a 01 02 02 | @g....ALSID.@h........@i...@j... |
| 06e0 | 03 49 44 03 40 6b 01 03 02 05 03 07 01 04 40 6c 01 07 05 03 40 6d 01 05 05 04 40 6e 01 0a 05 40 | .ID.@k........@l....@m....@n...@ |
| 0700 | 6f 01 06 05 02 61 01 06 40 70 01 06 05 02 7a 01 01 40 71 01 0a 05 40 72 01 06 05 02 41 01 06 40 | o....a..@p....z..@q...@r....A..@ |
| 0720 | 73 01 06 05 02 5a 01 01 40 74 01 06 05 02 5f 01 01 40 75 01 05 02 02 2a 05 07 40 76 01 0a 05 40 | s....Z..@t...._..@u....*..@v...@ |
| 0740 | 77 01 06 05 02 61 01 06 40 78 01 06 05 02 7a 01 01 40 79 01 0a 05 40 7a 01 06 05 02 41 01 06 40 | w....a..@x....z..@y...@z....A..@ |
| 0760 | 7b 01 06 05 02 5a 01 01 40 7c 01 06 05 02 5f 01 40 7d 01 06 05 02 27 01 40 7e 01 06 05 02 22 01 | {....Z..@|...._.@}....'.@~....". |
| 0780 | 40 7f 01 0a 05 40 80 01 06 05 02 30 01 06 40 81 01 06 05 02 39 01 01 01 01 05 0c 61 6e 6e 6f 74 | @....@.....0..@.....9......annot |
| 07a0 | 61 74 69 6f 6e 73 02 40 82 01 10 0b 41 6e 6e 6f 74 61 74 69 6f 6e 02 05 6e 61 6d 65 09 4f 76 65 | ations.@....Annotation..name.Ove |
| 07c0 | 72 72 69 64 65 01 01 01 01 01 01 40 83 01 06 05 02 7b 01 40 84 01 0e 05 08 6c 69 74 65 72 61 6c | rride......@.....{.@.....literal |
| 07e0 | 06 03 2b 3d 07 40 85 01 0f 05 40 86 01 0d 02 0f 41 4c 53 45 6e 75 6d 4c 69 74 65 72 61 6c 03 40 | ..+=.@....@.....ALSEnumLiteral.@ |
| 0800 | 87 01 03 02 40 57 03 40 88 02 03 00 03 11 2f 2f 41 4c 53 45 6e 75 6d 4c 69 74 65 72 61 6c 01 04 | ....@W.@......//ALSEnumLiteral.. |
| 0820 | 40 89 01 0e 05 05 6e 61 6d 65 06 02 3d 07 40 8a 01 0f 05 40 67 01 01 01 01 01 40 8b 01 07 02 02 | @.....name..=.@....@g.....@..... |
| 0840 | 2a 05 03 40 8c 01 06 05 02 2c 01 40 8d 01 0e 05 08 6c 69 74 65 72 61 6c 06 03 2b 3d 07 40 8e 01 | *..@.....,.@.....literal..+=.@.. |
| 0860 | 0f 05 40 86 01 01 01 40 8f 01 06 05 02 7d 01 01 01 01 01 40 90 01 0e 05 10 73 69 67 6e 61 74 75 | ..@....@.....}.....@.....signatu |
| 0880 | 72 65 42 6f 64 69 65 73 06 03 2b 3d 07 40 91 01 0f 05 40 92 01 0d 02 11 41 4c 53 53 69 67 6e 61 | reBodies..+=.@....@.....ALSSigna |
| 08a0 | 74 75 72 65 42 6f 64 79 03 40 93 01 03 02 40 57 03 40 94 02 03 00 03 13 2f 2f 41 4c 53 53 69 67 | tureBody.@....@W.@......//ALSSig |
| 08c0 | 6e 61 74 75 72 65 42 6f 64 79 01 04 40 95 01 07 05 09 40 96 01 11 0f 55 6e 6f 72 64 65 72 65 64 | natureBody..@.....@....Unordered |
| 08e0 | 47 72 6f 75 70 05 09 65 6c 65 6d 65 6e 74 73 03 40 97 01 0e 02 0c 63 61 72 64 69 6e 61 6c 69 74 | Group..elements.@.....cardinalit |
| 0900 | 79 02 3f 05 0d 6d 75 6c 74 69 70 6c 69 63 69 74 79 06 02 3d 07 40 98 01 0f 05 40 99 01 12 09 45 | y.?..multiplicity..=.@....@....E |
| 0920 | 6e 75 6d 52 75 6c 65 02 05 6e 61 6d 65 10 41 4c 53 4d 75 6c 74 69 70 6c 69 63 69 74 79 03 05 74 | numRule..name.ALSMultiplicity..t |
| 0940 | 79 70 65 40 9a 01 03 02 40 57 03 40 9b 02 04 06 45 45 6e 75 6d 00 03 12 2f 2f 41 4c 53 4d 75 6c | ype@....@W.@....EEnum...//ALSMul |
| 0960 | 74 69 70 6c 69 63 69 74 79 01 04 0d 61 6c 74 65 72 6e 61 74 69 76 65 73 40 9c 01 05 05 07 40 9d | tiplicity...alternatives@.....@. |
| 0980 | 01 13 17 45 6e 75 6d 4c 69 74 65 72 61 6c 44 65 63 6c 61 72 61 74 69 6f 6e 05 0c 65 6e 75 6d 4c | ...EnumLiteralDeclaration..enumL |
| 09a0 | 69 74 65 72 61 6c 40 9e 02 05 0d 45 45 6e 75 6d 4c 69 74 65 72 61 6c 00 03 16 2f 2f 41 4c 53 4d | iteral@....EEnumLiteral...//ALSM |
| 09c0 | 75 6c 74 69 70 6c 69 63 69 74 79 2f 61 6c 6c 06 08 6c 69 74 65 72 61 6c 40 9f 01 06 05 04 61 6c | ultiplicity/all..literal@.....al |
| 09e0 | 6c 01 01 40 a0 01 13 05 40 a1 02 05 00 03 15 2f 2f 41 4c 53 4d 75 6c 74 69 70 6c 69 63 69 74 79 | l..@....@......//ALSMultiplicity |
| 0a00 | 2f 6e 6f 06 40 a2 01 06 05 03 6e 6f 01 01 40 a3 01 13 05 40 a4 02 05 00 03 17 2f 2f 41 4c 53 4d | /no.@.....no..@....@......//ALSM |
| 0a20 | 75 6c 74 69 70 6c 69 63 69 74 79 2f 73 6f 6d 65 06 40 a5 01 06 05 05 73 6f 6d 65 01 01 40 a6 01 | ultiplicity/some.@.....some..@.. |
| 0a40 | 13 05 40 a7 02 05 00 03 17 2f 2f 41 4c 53 4d 75 6c 74 69 70 6c 69 63 69 74 79 2f 6c 6f 6e 65 06 | ..@......//ALSMultiplicity/lone. |
| 0a60 | 40 a8 01 06 05 05 6c 6f 6e 65 01 01 40 a9 01 13 05 40 aa 02 05 00 03 16 2f 2f 41 4c 53 4d 75 6c | @.....lone..@....@......//ALSMul |
| 0a80 | 74 69 70 6c 69 63 69 74 79 2f 6f 6e 65 06 40 ab 01 06 05 04 6f 6e 65 01 01 40 ac 01 13 05 40 ad | tiplicity/one.@.....one..@....@. |
| 0aa0 | 02 05 00 03 16 2f 2f 41 4c 53 4d 75 6c 74 69 70 6c 69 63 69 74 79 2f 73 65 74 06 40 ae 01 06 05 | .....//ALSMultiplicity/set.@.... |
| 0ac0 | 04 73 65 74 01 01 01 01 01 01 40 af 01 0e 02 02 3f 05 09 61 62 73 74 72 61 63 74 06 03 3f 3d 07 | .set......@.....?..abstract..?=. |
| 0ae0 | 40 b0 01 06 05 09 61 62 73 74 72 61 63 74 01 01 01 40 b1 01 06 05 04 73 69 67 01 40 b2 01 0e 05 | @.....abstract...@.....sig.@.... |
| 0b00 | 0d 64 65 63 6c 61 72 61 74 69 6f 6e 73 06 03 2b 3d 07 40 b3 01 0f 05 40 b4 01 0d 02 18 41 4c 53 | .declarations..+=.@....@.....ALS |
| 0b20 | 53 69 67 6e 61 74 75 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 03 40 b5 01 03 02 40 57 03 40 b6 02 | SignatureDeclaration.@....@W.@.. |
| 0b40 | 03 00 03 1a 2f 2f 41 4c 53 53 69 67 6e 61 74 75 72 65 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 40 | ....//ALSSignatureDeclaration..@ |
| 0b60 | b7 01 0e 05 05 6e 61 6d 65 06 02 3d 07 40 b8 01 0f 05 40 67 01 01 01 01 01 40 b9 01 07 02 02 2a | .....name..=.@....@g.....@.....* |
| 0b80 | 05 03 40 ba 01 06 05 02 2c 01 40 bb 01 0e 05 0d 64 65 63 6c 61 72 61 74 69 6f 6e 73 06 03 2b 3d | ..@.....,.@.....declarations..+= |
| 0ba0 | 07 40 bc 01 0f 05 40 b4 01 01 01 40 bd 01 05 02 02 3f 05 03 40 be 01 07 05 03 40 bf 01 06 05 08 | .@....@....@.....?..@.....@..... |
| 0bc0 | 65 78 74 65 6e 64 73 01 40 c0 01 0e 05 0a 73 75 70 65 72 74 79 70 65 06 02 3d 07 40 c1 01 14 0f | extends.@.....supertype..=.@.... |
| 0be0 | 43 72 6f 73 73 52 65 66 65 72 65 6e 63 65 05 05 74 79 70 65 40 c2 01 03 02 40 57 03 40 b6 01 06 | CrossReference..type@....@W.@... |
| 0c00 | 09 74 65 72 6d 69 6e 61 6c 40 c3 01 0f 05 40 6a 01 01 01 01 40 c4 01 07 05 04 40 c5 01 06 05 03 | .terminal@....@j....@.....@..... |
| 0c20 | 69 6e 01 40 c6 01 0e 05 09 73 75 70 65 72 73 65 74 06 03 2b 3d 07 40 c7 01 14 05 40 c8 01 03 02 | in.@.....superset..+=.@....@.... |
| 0c40 | 40 57 03 40 b6 01 06 40 c9 01 0f 05 40 6a 01 01 01 40 ca 01 07 02 02 2a 05 03 40 cb 01 06 05 02 | @W.@...@....@j...@.....*..@..... |
| 0c60 | 2b 01 40 cc 01 0e 05 09 73 75 70 65 72 73 65 74 06 03 2b 3d 07 40 cd 01 14 05 40 ce 01 03 02 40 | +.@.....superset..+=.@....@....@ |
| 0c80 | 57 03 40 b6 01 06 40 cf 01 0f 05 40 6a 01 01 01 01 01 01 40 d0 01 06 05 02 7b 01 40 d1 01 07 02 | W.@...@....@j......@.....{.@.... |
| 0ca0 | 02 3f 05 03 40 d2 01 0e 05 07 66 69 65 6c 64 73 06 03 2b 3d 07 40 d3 01 0f 05 40 d4 01 0d 02 14 | .?..@.....fields..+=.@....@..... |
| 0cc0 | 41 4c 53 46 69 65 6c 64 44 65 63 6c 61 72 61 74 69 6f 6e 03 40 d5 01 03 02 40 57 03 40 d6 02 03 | ALSFieldDeclaration.@....@W.@... |
| 0ce0 | 00 03 16 2f 2f 41 4c 53 46 69 65 6c 64 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 40 d7 01 07 05 05 | ...//ALSFieldDeclaration..@..... |
| 0d00 | 40 d8 01 0e 05 05 6e 61 6d 65 06 02 3d 07 40 d9 01 0f 05 40 67 01 01 40 da 01 06 05 02 3a 01 40 | @.....name..=.@....@g..@.....:.@ |
| 0d20 | db 01 0e 02 02 3f 05 0d 6d 75 6c 74 69 70 6c 69 63 69 74 79 06 02 3d 07 40 dc 01 0f 05 40 99 01 | .....?..multiplicity..=.@....@.. |
| 0d40 | 01 40 dd 01 0e 05 05 74 79 70 65 06 02 3d 07 40 de 01 0f 05 40 df 01 0d 02 08 41 4c 53 54 65 72 | .@.....type..=.@....@.....ALSTer |
| 0d60 | 6d 03 40 e0 01 03 02 40 57 03 40 e1 02 03 00 03 0a 2f 2f 41 4c 53 54 65 72 6d 01 04 40 e2 01 0f | m.@....@W.@......//ALSTerm..@... |
| 0d80 | 05 40 e3 01 0d 02 0e 41 4c 53 51 75 61 6e 74 69 66 69 65 64 03 40 e4 01 03 02 40 57 03 40 e1 01 | .@.....ALSQuantified.@....@W.@.. |
| 0da0 | 04 40 e5 01 05 05 03 40 e6 01 07 05 09 40 e7 01 15 07 41 63 74 69 6f 6e 05 05 74 79 70 65 40 e8 | .@.....@.....@....Action..type@. |
| 0dc0 | 01 03 02 40 57 03 40 e9 02 03 00 03 12 2f 2f 41 4c 53 51 75 61 6e 74 69 66 69 65 64 45 78 01 01 | ...@W.@......//ALSQuantifiedEx.. |
| 0de0 | 40 ea 01 0e 05 05 74 79 70 65 06 02 3d 07 40 eb 01 0f 05 40 99 01 01 40 ec 01 0e 02 02 3f 05 05 | @.....type..=.@....@...@.....?.. |
| 0e00 | 64 69 73 6a 06 03 3f 3d 07 40 ed 01 06 05 05 64 69 73 6a 01 01 40 ee 01 0e 05 0a 76 61 72 69 61 | disj..?=.@.....disj..@.....varia |
| 0e20 | 62 6c 65 73 06 03 2b 3d 07 40 ef 01 0f 05 40 f0 01 0d 02 17 41 4c 53 56 61 72 69 61 62 6c 65 44 | bles..+=.@....@.....ALSVariableD |
| 0e40 | 65 63 6c 61 72 61 74 69 6f 6e 03 40 f1 01 03 02 40 57 03 40 f2 02 03 00 03 19 2f 2f 41 4c 53 56 | eclaration.@....@W.@......//ALSV |
| 0e60 | 61 72 69 61 62 6c 65 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 40 f3 01 07 05 04 40 f4 01 0e 05 05 | ariableDeclaration..@.....@..... |
| 0e80 | 6e 61 6d 65 06 02 3d 07 40 f5 01 0f 05 40 67 01 01 40 f6 01 06 05 02 3a 01 40 f7 01 0e 05 06 72 | name..=.@....@g..@.....:.@.....r |
| 0ea0 | 61 6e 67 65 06 02 3d 07 40 f8 01 0f 05 40 df 01 01 01 01 01 01 40 f9 01 07 02 02 2a 05 03 40 fa | ange..=.@....@.......@.....*..@. |
| 0ec0 | 01 06 05 02 2c 01 40 fb 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 40 fc 01 0f 05 40 | ....,.@.....variables..+=.@....@ |
| 0ee0 | f0 01 01 01 40 fd 01 06 05 02 7b 01 40 fe 01 0e 05 0b 65 78 70 72 65 73 73 69 6f 6e 06 02 3d 07 | ....@.....{.@.....expression..=. |
| 0f00 | 40 ff 01 0f 05 40 df 01 01 41 00 01 06 05 02 7d 01 01 41 01 01 0f 05 41 02 01 0d 02 06 41 4c 53 | @....@...A.....}..A....A.....ALS |
| 0f20 | 4f 72 03 41 03 01 03 02 40 57 03 40 e1 01 04 41 04 01 07 05 03 41 05 01 0f 05 41 06 01 0d 02 07 | Or.A....@W.@...A.....A....A..... |
| 0f40 | 41 4c 53 49 66 66 03 41 07 01 03 02 40 57 03 40 e1 01 04 41 08 01 07 05 03 41 09 01 0f 05 41 0a | ALSIff.A....@W.@...A.....A....A. |
| 0f60 | 01 0d 02 08 41 4c 53 49 6d 70 6c 03 41 0b 01 03 02 40 57 03 40 e1 01 04 41 0c 01 07 05 03 41 0d | ....ALSImpl.A....@W.@...A.....A. |
| 0f80 | 01 0f 05 41 0e 01 0d 02 07 41 4c 53 41 6e 64 03 41 0f 01 03 02 40 57 03 40 e1 01 04 41 10 01 07 | ...A.....ALSAnd.A....@W.@...A... |
| 0fa0 | 05 03 41 11 01 0f 05 41 12 01 0d 02 0e 41 4c 53 43 6f 6d 70 61 72 69 73 6f 6e 03 41 13 01 03 02 | ..A....A.....ALSComparison.A.... |
| 0fc0 | 40 57 03 40 e1 01 04 41 14 01 07 05 03 41 15 01 0f 05 41 16 01 0d 02 0c 41 4c 53 4f 76 65 72 72 | @W.@...A.....A....A.....ALSOverr |
| 0fe0 | 69 64 65 03 41 17 01 03 02 40 57 03 40 e1 01 04 41 18 01 07 05 03 41 19 01 0f 05 41 1a 01 0d 02 | ide.A....@W.@...A.....A....A.... |
| 1000 | 19 41 4c 53 52 61 6e 67 65 52 65 73 74 72 69 63 74 69 6f 6e 52 69 67 68 74 03 41 1b 01 03 02 40 | .ALSRangeRestrictionRight.A....@ |
| 1020 | 57 03 40 e1 01 04 41 1c 01 07 05 03 41 1d 01 0f 05 41 1e 01 0d 02 18 41 4c 53 52 61 6e 67 65 52 | W.@...A.....A....A.....ALSRangeR |
| 1040 | 65 73 74 72 69 63 74 69 6f 6e 4c 65 66 74 03 41 1f 01 03 02 40 57 03 40 e1 01 04 41 20 01 07 05 | estrictionLeft.A....@W.@...A.... |
| 1060 | 03 41 21 01 0f 05 41 22 01 0d 02 08 41 4c 53 4a 6f 69 6e 03 41 23 01 03 02 40 57 03 40 e1 01 04 | .A!...A"....ALSJoin.A#...@W.@... |
| 1080 | 41 24 01 07 05 03 41 25 01 0f 05 41 26 01 0d 02 09 41 4c 53 4d 69 6e 75 73 03 41 27 01 03 02 40 | A$....A%...A&....ALSMinus.A'...@ |
| 10a0 | 57 03 40 e1 01 04 41 28 01 07 05 03 41 29 01 0f 05 41 2a 01 0d 02 08 41 4c 53 50 6c 75 73 03 41 | W.@...A(....A)...A*....ALSPlus.A |
| 10c0 | 2b 01 03 02 40 57 03 40 e1 01 04 41 2c 01 07 05 03 41 2d 01 0f 05 41 2e 01 0d 02 10 41 4c 53 49 | +...@W.@...A,....A-...A.....ALSI |
| 10e0 | 6e 74 65 72 73 65 63 74 69 6f 6e 03 41 2f 01 03 02 40 57 03 40 e1 01 04 41 30 01 07 05 03 41 31 | ntersection.A/...@W.@...A0....A1 |
| 1100 | 01 0f 05 41 32 01 0d 02 11 41 4c 53 44 69 72 65 63 74 50 72 6f 64 75 63 74 03 41 33 01 03 02 40 | ...A2....ALSDirectProduct.A3...@ |
| 1120 | 57 03 40 e1 01 04 41 34 01 07 05 03 41 35 01 0f 05 41 36 01 0d 02 0c 41 4c 53 50 72 65 66 69 63 | W.@...A4....A5...A6....ALSPrefic |
| 1140 | 65 64 03 41 37 01 03 02 40 57 03 40 e1 01 04 41 38 01 05 05 0a 41 39 01 07 05 04 41 3a 01 15 05 | ed.A7...@W.@...A8....A9....A:... |
| 1160 | 41 3b 01 03 02 40 57 03 41 3c 02 03 00 03 09 2f 2f 41 4c 53 4e 6f 74 01 01 41 3d 01 07 03 0b 70 | A;...@W.A<.....//ALSNot..A=....p |
| 1180 | 72 65 64 69 63 61 74 65 64 01 05 02 41 3e 01 05 05 03 41 3f 01 06 05 02 21 01 41 40 01 06 05 04 | redicated...A>....A?....!.A@.... |
| 11a0 | 6e 6f 74 01 01 01 41 41 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 41 42 01 0f 05 41 43 01 0d | not...AA....operand..=.AB...AC.. |
| 11c0 | 02 15 41 4c 53 42 61 73 69 63 52 65 6c 61 74 69 6f 6e 54 65 72 6d 03 41 44 01 03 02 40 57 03 40 | ..ALSBasicRelationTerm.AD...@W.@ |
| 11e0 | e1 01 04 41 45 01 05 05 08 41 46 01 07 05 03 41 47 01 15 05 41 48 01 03 02 40 57 03 41 49 02 03 | ...AE....AF....AG...AH...@W.AI.. |
| 1200 | 00 03 0a 2f 2f 41 4c 53 4e 6f 6e 65 01 01 41 4a 01 06 05 05 6e 6f 6e 65 01 01 41 4b 01 07 05 03 | ...//ALSNone..AJ....none..AK.... |
| 1220 | 41 4c 01 15 05 41 4d 01 03 02 40 57 03 41 4e 02 03 00 03 0a 2f 2f 41 4c 53 49 64 65 6e 01 01 41 | AL...AM...@W.AN.....//ALSIden..A |
| 1240 | 4f 01 06 05 05 69 64 65 6e 01 01 41 50 01 07 05 03 41 51 01 15 05 41 52 01 03 02 40 57 03 41 53 | O....iden..AP....AQ...AR...@W.AS |
| 1260 | 02 03 00 03 0a 2f 2f 41 4c 53 55 6e 69 76 01 01 41 54 01 06 05 05 75 6e 69 76 01 01 41 55 01 07 | .....//ALSUniv..AT....univ..AU.. |
| 1280 | 05 03 41 56 01 15 05 41 57 01 03 02 40 57 03 41 58 02 03 00 03 09 2f 2f 41 4c 53 49 6e 74 01 01 | ..AV...AW...@W.AX.....//ALSInt.. |
| 12a0 | 41 59 01 06 05 04 49 6e 74 01 01 41 5a 01 07 05 03 41 5b 01 15 05 41 5c 01 03 02 40 57 03 41 5d | AY....Int..AZ....A[...A\...@W.A] |
| 12c0 | 02 03 00 03 0f 2f 2f 41 4c 53 52 65 66 65 72 65 6e 63 65 01 01 41 5e 01 0e 05 09 72 65 66 65 72 | .....//ALSReference..A^....refer |
| 12e0 | 72 65 64 06 02 3d 07 41 5f 01 14 05 41 60 01 03 02 40 57 03 41 61 02 03 00 03 19 2f 2f 41 4c 53 | red..=.A_...A`...@W.Aa.....//ALS |
| 1300 | 52 65 6c 61 74 69 6f 6e 44 65 63 6c 61 72 61 74 69 6f 6e 01 06 41 62 01 0f 05 40 6a 01 01 01 01 | RelationDeclaration..Ab...@j.... |
| 1320 | 41 63 01 07 05 03 41 64 01 15 05 41 65 01 03 02 40 57 03 41 66 02 03 00 03 13 2f 2f 41 4c 53 4e | Ac....Ad...Ae...@W.Af.....//ALSN |
| 1340 | 75 6d 62 65 72 4c 69 74 65 72 61 6c 01 01 41 67 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 41 68 01 | umberLiteral..Ag....value..=.Ah. |
| 1360 | 0f 05 35 01 01 01 41 69 01 07 05 04 41 6a 01 06 05 02 28 01 41 6b 01 0f 05 40 df 01 41 6c 01 06 | ..5...Ai....Aj....(.Ak...@..Al.. |
| 1380 | 05 02 29 01 01 01 01 01 01 01 41 6d 01 07 05 04 41 6e 01 15 05 41 6f 01 03 02 40 57 03 41 70 02 | ..).......Am....An...Ao...@W.Ap. |
| 13a0 | 03 00 03 15 2f 2f 41 4c 53 49 6e 76 65 72 73 65 52 65 6c 61 74 69 6f 6e 01 01 41 71 01 06 03 0b | ....//ALSInverseRelation..Aq.... |
| 13c0 | 70 72 65 64 69 63 61 74 65 64 01 05 02 7e 01 41 72 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 | predicated...~.Ar....operand..=. |
| 13e0 | 41 73 01 0f 05 41 43 01 01 01 41 74 01 07 05 04 41 75 01 15 05 41 76 01 03 02 40 57 03 41 77 02 | As...AC...At....Au...Av...@W.Aw. |
| 1400 | 03 00 03 17 2f 2f 41 6c 53 54 72 61 6e 73 69 74 69 76 65 43 6c 6f 73 75 72 65 01 01 41 78 01 06 | ....//AlSTransitiveClosure..Ax.. |
| 1420 | 05 02 5e 01 41 79 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 41 7a 01 0f 05 41 43 01 01 01 41 | ..^.Ay....operand..=.Az...AC...A |
| 1440 | 7b 01 07 05 04 41 7c 01 15 05 41 7d 01 03 02 40 57 03 41 7e 02 03 00 03 21 2f 2f 41 4c 53 52 65 | {....A|...A}...@W.A~....!//ALSRe |
| 1460 | 66 6c 65 63 74 69 76 65 54 72 61 6e 73 69 74 69 76 65 43 6c 6f 73 75 72 65 01 01 41 7f 01 06 05 | flectiveTransitiveClosure..A.... |
| 1480 | 02 2a 01 41 80 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 41 81 01 0f 05 41 43 01 01 01 41 82 | .*.A.....operand..=.A....AC...A. |
| 14a0 | 01 07 05 04 41 83 01 15 05 41 84 01 03 02 40 57 03 41 85 02 03 00 03 11 2f 2f 41 4c 53 43 61 72 | ....A....A....@W.A......//ALSCar |
| 14c0 | 64 69 6e 61 6c 69 74 79 01 01 41 86 01 06 05 02 23 01 41 87 01 0e 05 08 6f 70 65 72 61 6e 64 06 | dinality..A.....#.A.....operand. |
| 14e0 | 02 3d 07 41 88 01 0f 05 41 43 01 01 01 41 89 01 07 05 04 41 8a 01 15 05 41 8b 01 03 02 40 57 03 | .=.A....AC...A.....A....A....@W. |
| 1500 | 41 8c 02 03 00 03 10 2f 2f 41 4c 53 55 6e 61 72 79 4d 69 6e 75 73 01 01 41 8d 01 06 03 01 05 02 | A......//ALSUnaryMinus..A....... |
| 1520 | 2d 01 41 8e 01 0e 05 08 6f 70 65 72 61 6e 64 06 02 3d 07 41 8f 01 0f 05 41 43 01 01 01 41 90 01 | -.A.....operand..=.A....AC...A.. |
| 1540 | 07 05 08 41 91 01 15 05 41 92 01 03 02 40 57 03 41 93 02 03 00 03 09 2f 2f 41 4c 53 53 75 6d 01 | ...A....A....@W.A......//ALSSum. |
| 1560 | 01 41 94 01 06 05 04 73 75 6d 01 41 95 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 41 | .A.....sum.A.....variables..+=.A |
| 1580 | 96 01 0f 05 40 f0 01 01 41 97 01 07 02 02 2a 05 03 41 98 01 06 05 02 2c 01 41 99 01 0e 05 0a 76 | ....@...A.....*..A.....,.A.....v |
| 15a0 | 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 41 9a 01 0f 05 40 f0 01 01 01 41 9b 01 06 05 02 7b 01 41 | ariables..+=.A....@....A.....{.A |
| 15c0 | 9c 01 0e 05 0b 65 78 70 72 65 73 73 69 6f 6e 06 02 3d 07 41 9d 01 0f 05 40 df 01 01 41 9e 01 06 | .....expression..=.A....@...A... |
| 15e0 | 05 02 7d 01 01 41 9f 01 07 05 07 41 a0 01 15 05 41 a1 01 03 02 40 57 03 41 a2 02 03 00 03 12 2f | ..}..A.....A....A....@W.A....../ |
| 1600 | 2f 41 4c 53 46 75 6e 63 74 69 6f 6e 43 61 6c 6c 01 01 41 a3 01 05 05 03 41 a4 01 0e 05 13 72 65 | /ALSFunctionCall..A.....A.....re |
| 1620 | 66 65 72 72 65 64 44 65 66 69 6e 69 74 69 6f 6e 06 02 3d 07 41 a5 01 14 05 41 a6 01 03 02 40 57 | ferredDefinition..=.A....A....@W |
| 1640 | 03 41 a7 02 03 00 03 10 2f 2f 41 4c 53 44 65 66 69 6e 69 74 69 6f 6e 01 06 41 a8 01 0f 05 40 6a | .A......//ALSDefinition..A....@j |
| 1660 | 01 01 01 41 a9 01 0e 05 18 72 65 66 65 72 72 65 64 4e 75 6d 65 72 69 63 4f 70 65 72 61 74 6f 72 | ...A.....referredNumericOperator |
| 1680 | 06 02 3d 07 41 aa 01 0f 05 41 ab 01 12 02 13 41 4c 53 4e 75 6d 65 72 69 63 4f 70 65 72 61 74 6f | ..=.A....A.....ALSNumericOperato |
| 16a0 | 72 03 41 ac 01 03 02 40 57 03 41 ad 02 04 00 03 15 2f 2f 41 4c 53 4e 75 6d 65 72 69 63 4f 70 65 | r.A....@W.A......//ALSNumericOpe |
| 16c0 | 72 61 74 6f 72 01 04 41 ae 01 05 05 06 41 af 01 13 05 41 b0 02 05 00 03 1a 2f 2f 41 4c 53 4e 75 | rator..A.....A....A......//ALSNu |
| 16e0 | 6d 65 72 69 63 4f 70 65 72 61 74 6f 72 2f 70 6c 75 73 06 41 b1 01 06 05 05 70 6c 75 73 01 01 41 | mericOperator/plus.A.....plus..A |
| 1700 | b2 01 13 05 41 b3 02 05 00 03 19 2f 2f 41 4c 53 4e 75 6d 65 72 69 63 4f 70 65 72 61 74 6f 72 2f | ....A......//ALSNumericOperator/ |
| 1720 | 73 75 62 06 41 b4 01 06 05 04 73 75 62 01 01 41 b5 01 13 05 41 b6 02 05 00 03 19 2f 2f 41 4c 53 | sub.A.....sub..A....A......//ALS |
| 1740 | 4e 75 6d 65 72 69 63 4f 70 65 72 61 74 6f 72 2f 6d 75 6c 06 41 b7 01 06 05 04 6d 75 6c 01 01 41 | NumericOperator/mul.A.....mul..A |
| 1760 | b8 01 13 05 41 b9 02 05 00 03 19 2f 2f 41 4c 53 4e 75 6d 65 72 69 63 4f 70 65 72 61 74 6f 72 2f | ....A......//ALSNumericOperator/ |
| 1780 | 72 65 6d 06 41 ba 01 06 05 04 72 65 6d 01 01 41 bb 01 13 05 41 bc 02 05 00 03 19 2f 2f 41 4c 53 | rem.A.....rem..A....A......//ALS |
| 17a0 | 4e 75 6d 65 72 69 63 4f 70 65 72 61 74 6f 72 2f 64 69 76 06 41 bd 01 06 05 04 64 69 76 01 01 01 | NumericOperator/div.A.....div... |
| 17c0 | 01 01 01 01 41 be 01 06 05 02 5b 01 41 bf 01 0e 05 07 70 61 72 61 6d 73 06 03 2b 3d 07 41 c0 01 | ....A.....[.A.....params..+=.A.. |
| 17e0 | 0f 05 40 df 01 01 41 c1 01 07 02 02 2a 05 03 41 c2 01 06 05 02 2c 01 41 c3 01 0e 05 07 70 61 72 | ..@...A.....*..A.....,.A.....par |
| 1800 | 61 6d 73 06 03 2b 3d 07 41 c4 01 0f 05 40 df 01 01 01 41 c5 01 06 05 02 5d 01 01 41 c6 01 0f 05 | ams..+=.A....@....A.....]..A.... |
| 1820 | 41 43 01 01 01 01 41 c7 01 07 02 02 3f 05 06 41 c8 01 15 05 41 c9 01 03 02 40 57 03 41 ca 02 03 | AC....A.....?..A....A....@W.A... |
| 1840 | 00 03 13 2f 2f 41 4c 53 44 69 72 65 63 74 50 72 6f 64 75 63 74 01 06 08 66 65 61 74 75 72 65 0c | ...//ALSDirectProduct...feature. |
| 1860 | 6c 65 66 74 4f 70 65 72 61 6e 64 07 09 6f 70 65 72 61 74 6f 72 02 3d 01 41 cb 01 0e 02 02 3f 05 | leftOperand..operator.=.A.....?. |
| 1880 | 10 6c 65 66 74 4d 75 6c 74 69 70 6c 69 63 69 74 06 02 3d 07 41 cc 01 0f 05 40 99 01 01 41 cd 01 | .leftMultiplicit..=.A....@...A.. |
| 18a0 | 06 05 03 2d 3e 01 41 ce 01 0e 02 02 3f 05 11 72 69 67 68 74 4d 75 6c 74 69 70 6c 69 63 69 74 06 | ...->.A.....?..rightMultiplicit. |
| 18c0 | 02 3d 07 41 cf 01 0f 05 40 99 01 01 41 d0 01 0e 05 0d 72 69 67 68 74 4f 70 65 72 61 6e 64 06 02 | .=.A....@...A.....rightOperand.. |
| 18e0 | 3d 07 41 d1 01 0f 05 41 36 01 01 01 01 01 01 41 d2 01 07 02 02 2a 05 04 41 d3 01 15 05 41 d4 01 | =.A....A6......A.....*..A....A.. |
| 1900 | 03 02 40 57 03 41 d5 02 03 00 03 12 2f 2f 41 4c 53 49 6e 74 65 72 73 65 63 74 69 6f 6e 01 06 0c | ..@W.A......//ALSIntersection... |
| 1920 | 6c 65 66 74 4f 70 65 72 61 6e 64 07 02 3d 01 41 d6 01 06 05 02 26 01 41 d7 01 0e 05 0d 72 69 67 | leftOperand..=.A.....&.A.....rig |
| 1940 | 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 41 d8 01 0f 05 41 32 01 01 01 01 01 01 41 d9 01 07 02 02 | htOperand..=.A....A2......A..... |
| 1960 | 2a 05 04 41 da 01 15 05 41 db 01 03 02 40 57 03 41 dc 02 03 00 03 0a 2f 2f 41 4c 53 50 6c 75 73 | *..A....A....@W.A......//ALSPlus |
| 1980 | 01 06 0c 6c 65 66 74 4f 70 65 72 61 6e 64 07 02 3d 01 41 dd 01 06 05 02 2b 01 41 de 01 0e 05 0d | ...leftOperand..=.A.....+.A..... |
| 19a0 | 72 69 67 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 41 df 01 0f 05 41 2e 01 01 01 01 01 01 41 e0 01 | rightOperand..=.A....A.......A.. |
| 19c0 | 07 02 02 2a 05 04 41 e1 01 15 05 41 e2 01 03 02 40 57 03 41 e3 02 03 00 03 0b 2f 2f 41 4c 53 4d | ...*..A....A....@W.A......//ALSM |
| 19e0 | 69 6e 75 73 01 06 0c 6c 65 66 74 4f 70 65 72 61 6e 64 07 02 3d 01 41 e4 01 06 05 02 2d 01 41 e5 | inus...leftOperand..=.A.....-.A. |
| 1a00 | 01 0e 05 0d 72 69 67 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 41 e6 01 0f 05 41 2a 01 01 01 01 01 | ....rightOperand..=.A....A*..... |
| 1a20 | 01 41 e7 01 07 02 02 2a 05 04 41 e8 01 15 05 41 e9 01 03 02 40 57 03 41 ea 02 03 00 03 0a 2f 2f | .A.....*..A....A....@W.A......// |
| 1a40 | 41 4c 53 4a 6f 69 6e 01 06 0c 6c 65 66 74 4f 70 65 72 61 6e 64 07 02 3d 01 41 eb 01 06 05 02 2e | ALSJoin...leftOperand..=.A...... |
| 1a60 | 01 41 ec 01 0e 05 0d 72 69 67 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 41 ed 01 0f 05 41 26 01 01 | .A.....rightOperand..=.A....A&.. |
| 1a80 | 01 01 01 01 41 ee 01 07 02 02 3f 05 04 41 ef 01 15 05 41 f0 01 03 02 40 57 03 41 f1 02 03 00 03 | ....A.....?..A....A....@W.A..... |
| 1aa0 | 1a 2f 2f 41 4c 53 52 61 6e 67 65 52 65 73 74 72 69 63 74 69 6f 6e 4c 65 66 74 01 06 07 66 69 6c | .//ALSRangeRestrictionLeft...fil |
| 1ac0 | 74 65 72 07 02 3d 01 41 f2 01 06 05 03 3c 3a 01 41 f3 01 0e 05 09 72 65 6c 61 74 69 6f 6e 06 02 | ter..=.A.....<:.A.....relation.. |
| 1ae0 | 3d 07 41 f4 01 0f 05 41 22 01 01 01 01 01 01 41 f5 01 07 02 02 3f 05 04 41 f6 01 15 05 41 f7 01 | =.A....A"......A.....?..A....A.. |
| 1b00 | 03 02 40 57 03 41 f8 02 03 00 03 1b 2f 2f 41 4c 53 52 61 6e 67 65 52 65 73 74 72 69 63 74 69 6f | ..@W.A......//ALSRangeRestrictio |
| 1b20 | 6e 52 69 67 68 74 01 06 09 72 65 6c 61 74 69 6f 6e 07 02 3d 01 41 f9 01 06 05 03 3a 3e 01 41 fa | nRight...relation..=.A.....:>.A. |
| 1b40 | 01 0e 05 07 66 69 6c 74 65 72 06 02 3d 07 41 fb 01 0f 05 41 1e 01 01 01 01 01 01 41 fc 01 07 02 | ....filter..=.A....A.......A.... |
| 1b60 | 02 3f 05 04 41 fd 01 15 05 41 fe 01 03 02 40 57 03 41 ff 02 03 00 03 0e 2f 2f 41 4c 53 4f 76 65 | .?..A....A....@W.A......//ALSOve |
| 1b80 | 72 72 69 64 65 01 06 0c 6c 65 66 74 4f 70 65 72 61 6e 64 07 02 3d 01 42 00 01 06 05 03 2b 2b 01 | rride...leftOperand..=.B.....++. |
| 1ba0 | 42 01 01 0e 05 0d 72 69 67 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 42 02 01 0f 05 41 1a 01 01 01 | B.....rightOperand..=.B....A.... |
| 1bc0 | 01 01 01 42 03 01 07 02 02 3f 05 03 42 04 01 05 05 08 42 05 01 07 05 03 42 06 01 15 05 42 07 01 | ...B.....?..B.....B.....B....B.. |
| 1be0 | 03 02 40 57 03 42 08 02 03 00 03 0c 2f 2f 41 4c 53 45 71 75 61 6c 73 01 06 0c 6c 65 66 74 4f 70 | ..@W.B......//ALSEquals...leftOp |
| 1c00 | 65 72 61 6e 64 07 02 3d 01 42 09 01 06 05 02 3d 01 01 42 0a 01 07 05 03 42 0b 01 15 05 42 0c 01 | erand..=.B.....=..B.....B....B.. |
| 1c20 | 03 02 40 57 03 42 0d 02 03 00 03 0f 2f 2f 41 4c 53 4e 6f 74 45 71 75 61 6c 73 01 06 0c 6c 65 66 | ..@W.B......//ALSNotEquals...lef |
| 1c40 | 74 4f 70 65 72 61 6e 64 07 02 3d 01 42 0e 01 06 05 03 21 3d 01 01 42 0f 01 07 05 03 42 10 01 15 | tOperand..=.B.....!=..B.....B... |
| 1c60 | 05 42 11 01 03 02 40 57 03 42 12 02 03 00 03 0c 2f 2f 41 4c 53 53 75 62 73 65 74 01 06 0c 6c 65 | .B....@W.B......//ALSSubset...le |
| 1c80 | 66 74 4f 70 65 72 61 6e 64 07 02 3d 01 42 13 01 06 05 03 69 6e 01 01 42 14 01 07 05 03 42 15 01 | ftOperand..=.B.....in..B.....B.. |
| 1ca0 | 15 05 42 16 01 03 02 40 57 03 42 17 02 03 00 03 0a 2f 2f 41 4c 53 4c 65 73 73 01 06 0c 6c 65 66 | ..B....@W.B......//ALSLess...lef |
| 1cc0 | 74 4f 70 65 72 61 6e 64 07 02 3d 01 42 18 01 06 05 02 3e 01 01 42 19 01 07 05 03 42 1a 01 15 05 | tOperand..=.B.....>..B.....B.... |
| 1ce0 | 42 1b 01 03 02 40 57 03 42 1c 02 03 00 03 09 2f 2f 41 4c 53 4c 65 71 01 06 0c 6c 65 66 74 4f 70 | B....@W.B......//ALSLeq...leftOp |
| 1d00 | 65 72 61 6e 64 07 02 3d 01 42 1d 01 06 05 03 3e 3d 01 01 42 1e 01 07 05 03 42 1f 01 15 05 42 20 | erand..=.B.....>=..B.....B....B. |
| 1d20 | 01 03 02 40 57 03 42 21 02 03 00 03 0a 2f 2f 41 4c 53 4d 6f 72 65 01 06 0c 6c 65 66 74 4f 70 65 | ...@W.B!.....//ALSMore...leftOpe |
| 1d40 | 72 61 6e 64 07 02 3d 01 42 22 01 06 05 02 3c 01 01 42 23 01 07 05 03 42 24 01 15 05 42 25 01 03 | rand..=.B"....<..B#....B$...B%.. |
| 1d60 | 02 40 57 03 42 26 02 03 00 03 09 2f 2f 41 4c 53 4d 65 71 01 06 0c 6c 65 66 74 4f 70 65 72 61 6e | .@W.B&.....//ALSMeq...leftOperan |
| 1d80 | 64 07 02 3d 01 42 27 01 06 05 03 3c 3d 01 01 01 42 28 01 0e 05 0d 72 69 67 68 74 4f 70 65 72 61 | d..=.B'....<=...B(....rightOpera |
| 1da0 | 6e 64 06 02 3d 07 42 29 01 0f 05 41 16 01 01 01 01 01 01 42 2a 01 07 02 02 3f 05 04 42 2b 01 15 | nd..=.B)...A.......B*....?..B+.. |
| 1dc0 | 05 42 2c 01 03 02 40 57 03 42 2d 02 03 00 03 09 2f 2f 41 4c 53 41 6e 64 01 06 0c 6c 65 66 74 4f | .B,...@W.B-.....//ALSAnd...leftO |
| 1de0 | 70 65 72 61 6e 64 07 02 3d 01 42 2e 01 05 05 03 42 2f 01 06 05 03 26 26 01 42 30 01 06 05 04 61 | perand..=.B.....B/....&&.B0....a |
| 1e00 | 6e 64 01 01 42 31 01 0e 05 0d 72 69 67 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 42 32 01 0f 05 41 | nd..B1....rightOperand..=.B2...A |
| 1e20 | 12 01 01 01 01 01 01 42 33 01 07 02 02 3f 05 05 42 34 01 15 05 42 35 01 03 02 40 57 03 42 36 02 | .......B3....?..B4...B5...@W.B6. |
| 1e40 | 03 00 03 0a 2f 2f 41 4c 53 49 6d 70 6c 01 06 0c 6c 65 66 74 4f 70 65 72 61 6e 64 07 02 3d 01 42 | ....//ALSImpl...leftOperand..=.B |
| 1e60 | 37 01 05 05 03 42 38 01 06 05 03 3d 3e 01 42 39 01 06 05 08 69 6d 70 6c 69 65 73 01 01 42 3a 01 | 7....B8....=>.B9....implies..B:. |
| 1e80 | 0e 05 0d 72 69 67 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 42 3b 01 0f 05 41 0e 01 01 42 3c 01 07 | ...rightOperand..=.B;...A...B<.. |
| 1ea0 | 02 02 3f 05 03 42 3d 01 06 05 05 65 6c 73 65 01 42 3e 01 0e 05 0c 65 6c 73 65 4f 70 65 72 61 6e | ..?..B=....else.B>....elseOperan |
| 1ec0 | 64 06 02 3d 07 42 3f 01 0f 05 41 0e 01 01 01 01 01 01 01 42 40 01 07 02 02 3f 05 04 42 41 01 15 | d..=.B?...A........B@....?..BA.. |
| 1ee0 | 05 42 42 01 03 02 40 57 03 42 43 02 03 00 03 09 2f 2f 41 4c 53 49 66 66 01 06 0c 6c 65 66 74 4f | .BB...@W.BC.....//ALSIff...leftO |
| 1f00 | 70 65 72 61 6e 64 07 02 3d 01 42 44 01 05 05 03 42 45 01 06 05 04 3c 3d 3e 01 42 46 01 06 05 04 | perand..=.BD....BE....<=>.BF.... |
| 1f20 | 69 66 66 01 01 42 47 01 0e 05 0d 72 69 67 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 42 48 01 0f 05 | iff..BG....rightOperand..=.BH... |
| 1f40 | 41 0a 01 01 01 01 01 01 42 49 01 07 02 02 3f 05 04 42 4a 01 15 05 42 4b 01 03 02 40 57 03 42 4c | A.......BI....?..BJ...BK...@W.BL |
| 1f60 | 02 03 00 03 08 2f 2f 41 4c 53 4f 72 01 06 0c 6c 65 66 74 4f 70 65 72 61 6e 64 07 02 3d 01 42 4d | .....//ALSOr...leftOperand..=.BM |
| 1f80 | 01 05 05 03 42 4e 01 06 05 03 7c 7c 01 42 4f 01 06 05 03 6f 72 01 01 42 50 01 0e 05 0d 72 69 67 | ....BN....||.BO....or..BP....rig |
| 1fa0 | 68 74 4f 70 65 72 61 6e 64 06 02 3d 07 42 51 01 0f 05 41 06 01 01 01 01 01 01 01 01 01 01 01 01 | htOperand..=.BQ...A............. |
| 1fc0 | 01 01 01 01 42 52 01 07 02 02 2a 05 03 42 53 01 06 05 02 2c 01 42 54 01 0e 05 07 66 69 65 6c 64 | ....BR....*..BS....,.BT....field |
| 1fe0 | 73 06 03 2b 3d 07 42 55 01 0f 05 40 d4 01 01 01 01 42 56 01 06 05 02 7d 01 01 01 01 01 42 57 01 | s..+=.BU...@.....BV....}.....BW. |
| 2000 | 0e 05 14 66 75 6e 63 74 69 6f 6e 44 65 66 69 6e 69 74 69 6f 6e 73 06 03 2b 3d 07 42 58 01 0f 05 | ...functionDefinitions..+=.BX... |
| 2020 | 42 59 01 0d 02 16 41 4c 53 46 75 6e 63 74 69 6f 6e 44 65 66 69 6e 69 74 69 6f 6e 03 42 5a 01 03 | BY....ALSFunctionDefinition.BZ.. |
| 2040 | 02 40 57 03 42 5b 02 03 00 03 18 2f 2f 41 4c 53 46 75 6e 63 74 69 6f 6e 44 65 66 69 6e 69 74 69 | .@W.B[.....//ALSFunctionDefiniti |
| 2060 | 6f 6e 01 04 42 5c 01 07 05 0c 42 5d 01 06 05 04 66 75 6e 01 42 5e 01 0e 05 05 6e 61 6d 65 06 02 | on..B\....B]....fun.B^....name.. |
| 2080 | 3d 07 42 5f 01 0f 05 40 67 01 01 42 60 01 06 05 02 5b 01 42 61 01 0e 05 0a 76 61 72 69 61 62 6c | =.B_...@g..B`....[.Ba....variabl |
| 20a0 | 65 73 06 03 2b 3d 07 42 62 01 0f 05 40 f0 01 01 42 63 01 07 02 02 2a 05 03 42 64 01 06 05 02 2c | es..+=.Bb...@...Bc....*..Bd...., |
| 20c0 | 01 42 65 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 42 66 01 0f 05 40 f0 01 01 01 42 | .Be....variables..+=.Bf...@....B |
| 20e0 | 67 01 06 05 02 5d 01 42 68 01 06 05 02 3a 01 42 69 01 0e 05 05 74 79 70 65 06 02 3d 07 42 6a 01 | g....].Bh....:.Bi....type..=.Bj. |
| 2100 | 0f 05 40 df 01 01 42 6b 01 06 05 02 7b 01 42 6c 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 42 6d 01 | ..@...Bk....{.Bl....value..=.Bm. |
| 2120 | 0f 05 40 df 01 01 42 6e 01 06 05 02 7d 01 01 01 01 01 42 6f 01 0e 05 14 72 65 6c 61 74 69 6f 6e | ..@...Bn....}.....Bo....relation |
| 2140 | 44 65 66 69 6e 69 74 69 6f 6e 73 06 03 2b 3d 07 42 70 01 0f 05 42 71 01 0d 02 16 41 4c 53 52 65 | Definitions..+=.Bp...Bq....ALSRe |
| 2160 | 6c 61 74 69 6f 6e 44 65 66 69 6e 69 74 69 6f 6e 03 42 72 01 03 02 40 57 03 42 73 02 03 00 03 18 | lationDefinition.Br...@W.Bs..... |
| 2180 | 2f 2f 41 4c 53 52 65 6c 61 74 69 6f 6e 44 65 66 69 6e 69 74 69 6f 6e 01 04 42 74 01 07 05 0a 42 | //ALSRelationDefinition..Bt....B |
| 21a0 | 75 01 06 05 05 70 72 65 64 01 42 76 01 0e 05 05 6e 61 6d 65 06 02 3d 07 42 77 01 0f 05 40 67 01 | u....pred.Bv....name..=.Bw...@g. |
| 21c0 | 01 42 78 01 06 05 02 5b 01 42 79 01 0e 05 0a 76 61 72 69 61 62 6c 65 73 06 03 2b 3d 07 42 7a 01 | .Bx....[.By....variables..+=.Bz. |
| 21e0 | 0f 05 40 f0 01 01 42 7b 01 07 02 02 2a 05 03 42 7c 01 06 05 02 2c 01 42 7d 01 0e 05 0a 76 61 72 | ..@...B{....*..B|....,.B}....var |
| 2200 | 69 61 62 6c 65 73 06 03 2b 3d 07 42 7e 01 0f 05 40 f0 01 01 01 42 7f 01 06 05 02 5d 01 42 80 01 | iables..+=.B~...@....B.....].B.. |
| 2220 | 06 05 02 7b 01 42 81 01 0e 05 06 76 61 6c 75 65 06 02 3d 07 42 82 01 0f 05 40 df 01 01 42 83 01 | ...{.B.....value..=.B....@...B.. |
| 2240 | 06 05 02 7d 01 01 01 01 01 42 84 01 0e 05 11 66 61 63 74 44 65 63 6c 61 72 61 74 69 6f 6e 73 06 | ...}.....B.....factDeclarations. |
| 2260 | 03 2b 3d 07 42 85 01 0f 05 42 86 01 0d 02 13 41 4c 53 46 61 63 74 44 65 63 6c 61 72 61 74 69 6f | .+=.B....B.....ALSFactDeclaratio |
| 2280 | 6e 03 42 87 01 03 02 40 57 03 42 88 02 03 00 03 15 2f 2f 41 4c 53 46 61 63 74 44 65 63 6c 61 72 | n.B....@W.B......//ALSFactDeclar |
| 22a0 | 61 74 69 6f 6e 01 04 42 89 01 07 05 07 42 8a 01 15 05 42 8b 01 03 02 40 57 03 42 88 01 01 42 8c | ation..B.....B....B....@W.B...B. |
| 22c0 | 01 06 05 05 66 61 63 74 01 42 8d 01 0e 02 02 3f 05 05 6e 61 6d 65 06 02 3d 07 42 8e 01 0f 05 40 | ....fact.B.....?..name..=.B....@ |
| 22e0 | 67 01 01 42 8f 01 06 05 02 7b 01 42 90 01 0e 05 05 74 65 72 6d 06 02 3d 07 42 91 01 0f 05 40 df | g..B.....{.B.....term..=.B....@. |
| 2300 | 01 01 42 92 01 06 05 02 7d 01 01 01 01 01 01 42 93 01 0e 05 0b 72 75 6e 43 6f 6d 6d 61 6e 64 06 | ..B.....}......B.....runCommand. |
| 2320 | 02 3d 07 42 94 01 0f 05 42 95 01 0d 02 0e 41 4c 53 52 75 6e 43 6f 6d 6d 61 6e 64 03 42 96 01 03 | .=.B....B.....ALSRunCommand.B... |
| 2340 | 02 40 57 03 42 97 02 03 00 03 10 2f 2f 41 4c 53 52 75 6e 43 6f 6d 6d 61 6e 64 01 04 42 98 01 07 | .@W.B......//ALSRunCommand..B... |
| 2360 | 05 06 42 99 01 15 05 42 9a 01 03 02 40 57 03 42 97 01 01 42 9b 01 06 05 04 72 75 6e 01 42 9c 01 | ..B....B....@W.B...B.....run.B.. |
| 2380 | 06 05 02 7b 01 42 9d 01 06 05 02 7d 01 42 9e 01 07 02 02 3f 05 04 42 9f 01 06 05 04 66 6f 72 01 | ...{.B.....}.B.....?..B.....for. |
| 23a0 | 42 a0 01 0e 05 0b 74 79 70 65 53 63 6f 70 65 73 06 03 2b 3d 07 42 a1 01 0f 05 42 a2 01 0d 02 0d | B.....typeScopes..+=.B....B..... |
| 23c0 | 41 4c 53 54 79 70 65 53 63 6f 70 65 03 42 a3 01 03 02 40 57 03 42 a4 02 03 00 03 0f 2f 2f 41 4c | ALSTypeScope.B....@W.B......//AL |
| 23e0 | 53 54 79 70 65 53 63 6f 70 65 01 04 42 a5 01 05 05 03 42 a6 01 0f 05 42 a7 01 0d 02 0c 41 4c 53 | STypeScope..B.....B....B.....ALS |
| 2400 | 53 69 67 53 63 6f 70 65 03 42 a8 01 03 02 40 57 03 42 a9 02 03 00 03 0e 2f 2f 41 4c 53 53 69 67 | SigScope.B....@W.B......//ALSSig |
| 2420 | 53 63 6f 70 65 01 04 42 aa 01 07 05 04 42 ab 01 0e 02 02 3f 05 08 65 78 61 63 74 6c 79 06 03 3f | Scope..B.....B.....?..exactly..? |
| 2440 | 3d 07 42 ac 01 06 05 08 65 78 61 63 74 6c 79 01 01 42 ad 01 0e 05 07 6e 75 6d 62 65 72 06 02 3d | =.B.....exactly..B.....number..= |
| 2460 | 07 42 ae 01 0f 05 35 01 01 42 af 01 0e 05 05 74 79 70 65 06 02 3d 07 42 b0 01 14 05 42 b1 01 03 | .B....5..B.....type..=.B....B... |
| 2480 | 02 40 57 03 40 b6 01 06 42 b2 01 0f 05 40 6a 01 01 01 01 01 01 42 b3 01 0f 05 42 b4 01 0d 02 0c | .@W.@...B....@j......B....B..... |
| 24a0 | 41 4c 53 49 6e 74 53 63 6f 70 65 03 42 b5 01 03 02 40 57 03 42 b6 02 03 00 03 0e 2f 2f 41 4c 53 | ALSIntScope.B....@W.B......//ALS |
| 24c0 | 49 6e 74 53 63 6f 70 65 01 04 42 b7 01 07 05 03 42 b8 01 0e 05 07 6e 75 6d 62 65 72 06 02 3d 07 | IntScope..B.....B.....number..=. |
| 24e0 | 42 b9 01 0f 05 35 01 01 42 ba 01 06 05 04 49 6e 74 01 01 01 01 01 01 01 01 42 bb 01 07 02 02 2a | B....5..B.....Int........B.....* |
| 2500 | 05 03 42 bc 01 06 05 02 2c 01 42 bd 01 0e 05 0b 74 79 70 65 53 63 6f 70 65 73 06 03 2b 3d 07 42 | ..B.....,.B.....typeScopes..+=.B |
| 2520 | be 01 0f 05 42 a2 01 01 01 01 01 01 01 01 01 01 40 6a 40 67 40 99 42 bf 01 0d 02 17 41 4c 53 52 | ....B...........@j@g@.B.....ALSR |
| 2540 | 65 6c 61 74 69 6f 6e 44 65 63 6c 61 72 61 74 69 6f 6e 03 42 c0 01 03 02 40 57 03 41 61 01 04 42 | elationDeclaration.B....@W.Aa..B |
| 2560 | c1 01 05 05 05 42 c2 01 0f 05 42 c3 01 0d 02 13 41 4c 53 54 79 70 65 44 65 63 6c 61 72 61 74 69 | .....B....B.....ALSTypeDeclarati |
| 2580 | 6f 6e 03 42 c4 01 03 02 40 57 03 42 c5 02 03 00 03 15 2f 2f 41 4c 53 54 79 70 65 44 65 63 6c 61 | on.B....@W.B......//ALSTypeDecla |
| 25a0 | 72 61 74 69 6f 6e 01 04 42 c6 01 05 05 03 42 c7 01 0f 05 40 60 01 42 c8 01 0f 05 40 b4 01 01 01 | ration..B.....B....@`.B....@.... |
| 25c0 | 01 42 c9 01 0f 05 40 86 01 42 ca 01 0f 05 40 d4 01 42 cb 01 0f 05 40 f0 01 01 01 42 c3 40 60 40 | .B....@..B....@..B....@....B.@`@ |
| 25e0 | 86 40 b4 40 92 40 d4 42 cc 01 0d 02 0e 41 4c 53 44 65 66 69 6e 69 74 69 6f 6e 03 42 cd 01 03 02 | .@.@.@.B.....ALSDefinition.B.... |
| 2600 | 40 57 03 41 a7 01 04 42 ce 01 05 05 03 42 cf 01 0f 05 42 59 01 42 d0 01 0f 05 42 71 01 01 01 42 | @W.A...B.....B....BY.B....Bq...B |
| 2620 | 59 42 71 42 86 40 df 40 e3 41 02 41 06 41 0a 41 0e 41 12 41 16 41 1a 41 1e 41 22 41 26 41 2a 41 | YBqB.@.@.A.A.A.A.A.A.A.A.A"A&A*A |
| 2640 | 2e 41 32 41 36 41 ab 40 f0 41 43 42 95 42 a2 42 a7 42 b4 01 02 01 | .A2A6A.@.ACB.B.B.B.... |
 |
index : VIATRA-Generator | |
| Mirror of https://github.com/viatra/VIATRA-Generator | Contributors to the VIATRA Generator project |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/AlloyLanguage.xtextbin
blob: a9ec3da45346c3a0d48df1f27b76bc359c23ca09 (plain)