| 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 2b 6f 72 67 2e 65 63 6c 69 70 73 65 2e 76 69 61 74 72 61 2e 73 6f 6c 76 65 72 2e 6c 61 6e | me+org.eclipse.viatra.solver.lan |
| 0080 | 67 75 61 67 65 2e 50 72 6f 62 6c 65 6d 03 0d 75 73 65 64 47 72 61 6d 6d 61 72 73 02 02 01 01 02 | guage.Problem..usedGrammars..... |
| 00a0 | 23 6f 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 | #org.eclipse.xtext.common.Termin |
| 00c0 | 61 6c 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 | als..definesHiddenTokens...hidde |
| 00e0 | 6e 54 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 | nTokens.....TerminalRule..name.W |
| 0100 | 53 03 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 | S..type....TypeRef..metamodel... |
| 0120 | 14 52 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 | .ReferencedMetamodel..ePackage.. |
| 0140 | 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 2f 32 30 30 32 | &http://www.eclipse.org/emf/2002 |
| 0160 | 2f 45 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 | /Ecore.&http://www.eclipse.org/e |
| 0180 | 6d 66 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 | mf/2002/Ecore./..EPackage.../..a |
| 01a0 | 6c 69 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 | lias.ecore...classifier....EData |
| 01c0 | 54 79 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 | Type...//EString...alternatives. |
| 01e0 | 01 05 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 | ...Alternatives..cardinality.+.. |
| 0200 | 65 6c 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 | elements.....Keyword..value..... |
| 0220 | 06 05 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 | ..........................ML_COM |
| 0240 | 4d 45 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 | MENT..............Group..element |
| 0260 | 73 03 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 | s....../*.....UntilToken..termin |
| 0280 | 61 6c 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 | al.....*/.........SL_COMMENT.... |
| 02a0 | 02 05 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 | ................//.....NegatedTo |
| 02c0 | 6b 65 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 | ken..cardinality.*..terminal.... |
| 02e0 | 03 19 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 | ......................cardinalit |
| 0300 | 79 02 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 | y.?.......cardinality.?......... |
| 0320 | 0a 01 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 | .......metamodelDeclarations.... |
| 0340 | 72 75 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 | rules......ID...............!... |
| 0360 | 02 3f 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 | .?..^."....#...CharacterRange..l |
| 0380 | 65 66 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 | eft$....a...right%....z..&...'.. |
| 03a0 | 05 02 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 | ..A..(....Z..)...._..*....*..+.. |
| 03c0 | 05 2c 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 | .,....a..-....z....../....A..0.. |
| 03e0 | 05 02 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 | ..Z..1...._.2...3....0..4....9.. |
| 0400 | 01 01 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 | ...5....INT.6.....7.....//EInt.. |
| 0420 | 38 01 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 | 8....cardinality.+.9....0..:.... |
| 0440 | 39 01 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 | 9...;....STRING.<........=....>. |
| 0460 | 07 05 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 | ...?....".@@....*..@A....@B....\ |
| 0480 | 01 40 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 | .@C...Wildcard..@D...@E....@F... |
| 04a0 | 02 5c 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 | .\.@G...."....@H...."..@I....@J. |
| 04c0 | 06 05 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 | ...'.@K....*..@L....@M....\.@N.. |
| 04e0 | 01 01 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 | ..@O...@P....@Q....\.@R....'.... |
| 0500 | 40 53 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 | @S....'.......@T....ANY_OTHER.@U |
| 0520 | 01 03 02 05 03 07 01 04 40 56 01 0b 01 01 01 06 03 40 57 01 04 02 06 03 06 65 63 6f 72 65 01 40 | ........@V.......@W......ecore.@ |
| 0540 | 58 01 04 02 40 59 02 01 00 03 3c 68 74 74 70 3a 2f 2f 77 77 77 2e 65 63 6c 69 70 73 65 2e 6f 72 | X...@Y....<http://www.eclipse.or |
| 0560 | 67 2f 76 69 61 74 72 61 2f 73 6f 6c 76 65 72 2f 6c 61 6e 67 75 61 67 65 2f 6d 6f 64 65 6c 2f 50 | g/viatra/solver/language/model/P |
| 0580 | 72 6f 62 6c 65 6d 02 2f 01 07 15 40 5a 01 0c 0b 50 61 72 73 65 72 52 75 6c 65 02 05 6e 61 6d 65 | roblem./...@Z...ParserRule..name |
| 05a0 | 08 50 72 6f 62 6c 65 6d 03 05 74 79 70 65 40 5b 01 03 02 40 58 03 40 5c 02 03 07 45 43 6c 61 73 | .Problem..type@[...@X.@\...EClas |
| 05c0 | 73 00 03 0a 2f 2f 50 72 6f 62 6c 65 6d 01 04 0d 61 6c 74 65 72 6e 61 74 69 76 65 73 40 5d 01 0d | s...//Problem...alternatives@].. |
| 05e0 | 0b 41 73 73 69 67 6e 6d 65 6e 74 02 0c 63 61 72 64 69 6e 61 6c 69 74 79 02 2a 05 08 66 65 61 74 | .Assignment..cardinality.*..feat |
| 0600 | 75 72 65 0b 73 74 61 74 65 6d 65 6e 74 73 06 09 6f 70 65 72 61 74 6f 72 03 2b 3d 07 09 74 65 72 | ure.statements..operator.+=..ter |
| 0620 | 6d 69 6e 61 6c 40 5e 01 0e 09 52 75 6c 65 43 61 6c 6c 05 05 72 75 6c 65 40 5f 01 0c 02 0a 53 74 | minal@^...RuleCall..rule@_....St |
| 0640 | 61 74 65 6d 65 6e 74 03 40 60 01 03 02 40 58 03 40 61 02 03 00 03 0c 2f 2f 53 74 61 74 65 6d 65 | atement.@`...@X.@a.....//Stateme |
| 0660 | 6e 74 01 04 40 62 01 05 05 05 40 63 01 0e 05 40 64 01 0c 02 11 43 6c 61 73 73 44 65 63 6c 61 72 | nt..@b....@c...@d....ClassDeclar |
| 0680 | 61 74 69 6f 6e 03 40 65 01 03 02 40 58 03 40 66 02 03 00 03 13 2f 2f 43 6c 61 73 73 44 65 63 6c | ation.@e...@X.@f.....//ClassDecl |
| 06a0 | 61 72 61 74 69 6f 6e 01 04 40 67 01 07 05 07 40 68 01 0d 02 02 3f 05 09 61 62 73 74 72 61 63 74 | aration..@g....@h....?..abstract |
| 06c0 | 06 03 3f 3d 07 40 69 01 06 05 09 61 62 73 74 72 61 63 74 01 01 40 6a 01 06 05 06 63 6c 61 73 73 | ..?=.@i....abstract..@j....class |
| 06e0 | 01 40 6b 01 0d 05 05 6e 61 6d 65 06 02 3d 07 40 6c 01 0e 05 1e 01 01 40 6d 01 05 02 02 3f 05 03 | .@k....name..=.@l......@m....?.. |
| 0700 | 40 6e 01 07 05 03 40 6f 01 06 05 08 65 78 74 65 6e 64 73 01 40 70 01 05 05 03 40 71 01 0d 05 0b | @n....@o....extends.@p....@q.... |
| 0720 | 73 75 70 65 72 54 79 70 65 73 06 03 2b 3d 07 40 72 01 0f 0f 43 72 6f 73 73 52 65 66 65 72 65 6e | superTypes..+=.@r...CrossReferen |
| 0740 | 63 65 05 05 74 79 70 65 40 73 01 03 02 40 58 03 40 66 01 06 09 74 65 72 6d 69 6e 61 6c 40 74 01 | ce..type@s...@X.@f...terminal@t. |
| 0760 | 0e 05 1e 01 01 01 40 75 01 07 05 04 40 76 01 06 05 02 5b 01 40 77 01 07 02 02 3f 05 03 40 78 01 | ......@u....@v....[.@w....?..@x. |
| 0780 | 0d 05 0b 73 75 70 65 72 54 79 70 65 73 06 03 2b 3d 07 40 79 01 0f 05 40 7a 01 03 02 40 58 03 40 | ...superTypes..+=.@y...@z...@X.@ |
| 07a0 | 66 01 06 40 7b 01 0e 05 1e 01 01 01 40 7c 01 07 02 02 2a 05 03 40 7d 01 06 05 02 2c 01 40 7e 01 | f..@{.......@|....*..@}....,.@~. |
| 07c0 | 0d 05 0b 73 75 70 65 72 54 79 70 65 73 06 03 2b 3d 07 40 7f 01 0f 05 40 80 01 03 02 40 58 03 40 | ...superTypes..+=.@....@....@X.@ |
| 07e0 | 66 01 06 40 81 01 0e 05 1e 01 01 01 01 01 40 82 01 06 05 02 5d 01 01 01 01 40 83 01 0d 05 16 72 | f..@..........@.....]....@.....r |
| 0800 | 65 66 65 72 65 6e 63 65 44 65 63 6c 61 72 61 74 69 6f 6e 73 06 03 2b 3d 07 40 84 01 0e 05 40 85 | eferenceDeclarations..+=.@....@. |
| 0820 | 01 0c 02 15 52 65 66 65 72 65 6e 63 65 44 65 63 6c 61 72 61 74 69 6f 6e 03 40 86 01 03 02 40 58 | ....ReferenceDeclaration.@....@X |
| 0840 | 03 40 87 02 03 00 03 17 2f 2f 52 65 66 65 72 65 6e 63 65 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 | .@......//ReferenceDeclaration.. |
| 0860 | 40 88 01 07 05 08 40 89 01 05 05 03 40 8a 01 0d 05 0c 63 6f 6e 74 61 69 6e 6d 65 6e 74 06 03 3f | @.....@.....@.....containment..? |
| 0880 | 3d 07 40 8b 01 06 05 09 63 6f 6e 74 61 69 6e 73 01 01 40 8c 01 06 05 07 72 65 66 65 72 73 01 01 | =.@.....contains..@.....refers.. |
| 08a0 | 40 8d 01 0d 05 0e 72 65 66 65 72 65 6e 63 65 54 79 70 65 06 02 3d 07 40 8e 01 0f 05 40 8f 01 03 | @.....referenceType..=.@....@... |
| 08c0 | 02 40 58 03 40 66 01 06 40 90 01 0e 05 1e 01 01 01 40 91 01 06 05 02 5b 01 40 92 01 0d 05 0d 6d | .@X.@f..@........@.....[.@.....m |
| 08e0 | 75 6c 74 69 70 6c 69 63 69 74 79 06 02 3d 07 40 93 01 0e 05 40 94 01 0c 02 0d 4d 75 6c 74 69 70 | ultiplicity..=.@....@.....Multip |
| 0900 | 6c 69 63 69 74 79 03 40 95 01 03 02 40 58 03 40 96 02 03 00 03 0f 2f 2f 4d 75 6c 74 69 70 6c 69 | licity.@....@X.@......//Multipli |
| 0920 | 63 69 74 79 01 04 40 97 01 05 05 03 40 98 01 0e 05 40 99 01 0c 02 12 52 61 6e 67 65 4d 75 6c 74 | city..@.....@....@.....RangeMult |
| 0940 | 69 70 6c 69 63 69 74 79 03 40 9a 01 03 02 40 58 03 40 9b 02 03 00 03 14 2f 2f 52 61 6e 67 65 4d | iplicity.@....@X.@......//RangeM |
| 0960 | 75 6c 74 69 70 6c 69 63 69 74 79 01 04 40 9c 01 07 05 04 40 9d 01 0d 05 0b 6c 6f 77 65 72 42 6f | ultiplicity..@.....@.....lowerBo |
| 0980 | 75 6e 64 06 02 3d 07 40 9e 01 0e 05 35 01 01 40 9f 01 06 05 03 2e 2e 01 40 a0 01 0d 05 0b 75 70 | und..=.@....5..@........@.....up |
| 09a0 | 70 65 72 42 6f 75 6e 64 06 02 3d 07 40 a1 01 0e 05 40 a2 01 0c 02 0b 55 70 70 65 72 42 6f 75 6e | perBound..=.@....@.....UpperBoun |
| 09c0 | 64 03 40 a3 01 03 02 40 57 03 37 01 04 40 a4 01 05 05 03 40 a5 01 0e 05 35 01 40 a6 01 06 05 02 | d.@....@W.7..@.....@....5.@..... |
| 09e0 | 2a 01 01 01 01 01 01 01 01 40 a7 01 0e 05 40 a8 01 0c 02 12 45 78 61 63 74 4d 75 6c 74 69 70 6c | *........@....@.....ExactMultipl |
| 0a00 | 69 63 69 74 79 03 40 a9 01 03 02 40 58 03 40 aa 02 03 00 03 14 2f 2f 45 78 61 63 74 4d 75 6c 74 | icity.@....@X.@......//ExactMult |
| 0a20 | 69 70 6c 69 63 69 74 79 01 04 40 ab 01 0d 05 0b 65 78 61 63 74 56 61 6c 75 65 06 02 3d 07 40 ac | iplicity..@.....exactValue..=.@. |
| 0a40 | 01 0e 05 35 01 01 01 01 01 01 01 01 40 ad 01 06 05 02 5d 01 40 ae 01 0d 05 05 6e 61 6d 65 06 02 | ...5........@.....].@.....name.. |
| 0a60 | 3d 07 40 af 01 0e 05 1e 01 01 40 b0 01 07 02 02 3f 05 03 40 b1 01 06 05 09 6f 70 70 6f 73 69 74 | =.@.......@.....?..@.....opposit |
| 0a80 | 65 01 40 b2 01 0d 05 09 6f 70 70 6f 73 69 74 65 06 02 3d 07 40 b3 01 0f 05 40 b4 01 03 02 40 58 | e.@.....opposite..=.@....@....@X |
| 0aa0 | 03 40 87 01 06 40 b5 01 0e 05 40 b6 01 0c 02 0e 51 75 61 6c 69 66 69 65 64 4e 61 6d 65 03 40 b7 | .@...@....@.....QualifiedName.@. |
| 0ac0 | 01 03 02 40 57 03 07 01 04 40 b8 01 07 05 03 40 b9 01 0e 05 1e 01 40 ba 01 07 02 02 2a 05 03 40 | ...@W....@.....@......@.....*..@ |
| 0ae0 | bb 01 06 05 03 3a 3a 01 40 bc 01 0e 05 1e 01 01 01 01 01 01 01 01 01 01 01 01 01 40 bd 01 07 02 | .....::.@..................@.... |
| 0b00 | 02 2a 05 03 40 be 01 06 05 02 2c 01 40 bf 01 0d 05 16 72 65 66 65 72 65 6e 63 65 44 65 63 6c 61 | .*..@.....,.@.....referenceDecla |
| 0b20 | 72 61 74 69 6f 6e 73 06 03 2b 3d 07 40 c0 01 0e 05 40 85 01 01 01 40 c1 01 06 05 02 2e 01 01 01 | rations..+=.@....@....@......... |
| 0b40 | 01 40 c2 01 0e 05 40 c3 01 0c 02 14 50 72 65 64 69 63 61 74 65 44 65 66 69 6e 69 74 69 6f 6e 03 | .@....@.....PredicateDefinition. |
| 0b60 | 40 c4 01 03 02 40 58 03 40 c5 02 03 00 03 16 2f 2f 50 72 65 64 69 63 61 74 65 44 65 66 69 6e 69 | @....@X.@......//PredicateDefini |
| 0b80 | 74 69 6f 6e 01 04 40 c6 01 07 05 08 40 c7 01 05 05 03 40 c8 01 07 05 03 40 c9 01 0d 05 06 65 72 | tion..@.....@.....@.....@.....er |
| 0ba0 | 72 6f 72 06 03 3f 3d 07 40 ca 01 06 05 06 65 72 72 6f 72 01 01 40 cb 01 06 02 02 3f 05 05 70 72 | ror..?=.@.....error..@.....?..pr |
| 0bc0 | 65 64 01 01 40 cc 01 06 05 05 70 72 65 64 01 01 40 cd 01 0d 05 05 6e 61 6d 65 06 02 3d 07 40 ce | ed..@.....pred..@.....name..=.@. |
| 0be0 | 01 0e 05 1e 01 01 40 cf 01 06 05 02 28 01 40 d0 01 07 02 02 3f 05 03 40 d1 01 0d 05 0b 70 61 72 | ......@.....(.@.....?..@.....par |
| 0c00 | 61 6d 65 74 65 72 73 06 03 2b 3d 07 40 d2 01 0e 05 40 d3 01 0c 02 0a 50 61 72 61 6d 65 74 65 72 | ameters..+=.@....@.....Parameter |
| 0c20 | 03 40 d4 01 03 02 40 58 03 40 d5 02 03 00 03 0c 2f 2f 50 61 72 61 6d 65 74 65 72 01 04 40 d6 01 | .@....@X.@......//Parameter..@.. |
| 0c40 | 07 05 03 40 d7 01 0d 05 0e 70 61 72 61 6d 65 74 65 72 54 79 70 65 06 02 3d 07 40 d8 01 0f 05 40 | ...@.....parameterType..=.@....@ |
| 0c60 | d9 01 03 02 40 58 03 40 66 01 06 40 da 01 0e 05 1e 01 01 01 40 db 01 0d 05 05 6e 61 6d 65 06 02 | ....@X.@f..@........@.....name.. |
| 0c80 | 3d 07 40 dc 01 0e 05 1e 01 01 01 01 01 01 40 dd 01 07 02 02 2a 05 03 40 de 01 06 05 02 2c 01 40 | =.@...........@.....*..@.....,.@ |
| 0ca0 | df 01 0d 05 0b 70 61 72 61 6d 65 74 65 72 73 06 03 2b 3d 07 40 e0 01 0e 05 40 d3 01 01 01 01 40 | .....parameters..+=.@....@.....@ |
| 0cc0 | e1 01 06 05 02 29 01 40 e2 01 07 02 02 3f 05 04 40 e3 01 06 05 03 3a 3d 01 40 e4 01 0d 05 07 62 | .....).@.....?..@.....:=.@.....b |
| 0ce0 | 6f 64 69 65 73 06 03 2b 3d 07 40 e5 01 0e 05 40 e6 01 0c 02 0c 43 6f 6e 6a 75 6e 63 74 69 6f 6e | odies..+=.@....@.....Conjunction |
| 0d00 | 03 40 e7 01 03 02 40 58 03 40 e8 02 03 00 03 0e 2f 2f 43 6f 6e 6a 75 6e 63 74 69 6f 6e 01 04 40 | .@....@X.@......//Conjunction..@ |
| 0d20 | e9 01 07 05 03 40 ea 01 0d 05 09 6c 69 74 65 72 61 6c 73 06 03 2b 3d 07 40 eb 01 0e 05 40 ec 01 | .....@.....literals..+=.@....@.. |
| 0d40 | 0c 02 08 4c 69 74 65 72 61 6c 03 40 ed 01 03 02 40 58 03 40 ee 02 03 00 03 0a 2f 2f 4c 69 74 65 | ...Literal.@....@X.@......//Lite |
| 0d60 | 72 61 6c 01 04 40 ef 01 05 05 03 40 f0 01 0e 05 40 f1 01 0c 02 05 41 74 6f 6d 03 40 f2 01 03 02 | ral..@.....@....@.....Atom.@.... |
| 0d80 | 40 58 03 40 f3 02 03 00 03 07 2f 2f 41 74 6f 6d 01 04 40 f4 01 07 05 06 40 f5 01 0d 05 09 72 65 | @X.@......//Atom..@.....@.....re |
| 0da0 | 6c 61 74 69 6f 6e 06 02 3d 07 40 f6 01 0f 05 40 f7 01 03 02 40 58 03 40 f8 02 03 00 03 0b 2f 2f | lation..=.@....@....@X.@......// |
| 0dc0 | 52 65 6c 61 74 69 6f 6e 01 06 40 f9 01 0e 05 40 b6 01 01 01 40 fa 01 0d 02 02 3f 05 12 74 72 61 | Relation..@....@....@.....?..tra |
| 0de0 | 6e 73 69 74 69 76 65 43 6c 6f 73 75 72 65 06 03 3f 3d 07 40 fb 01 06 05 02 2b 01 01 40 fc 01 06 | nsitiveClosure..?=.@.....+..@... |
| 0e00 | 05 02 28 01 40 fd 01 07 02 02 3f 05 03 40 fe 01 0d 05 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d | ..(.@.....?..@.....arguments..+= |
| 0e20 | 07 40 ff 01 0f 05 41 00 01 03 02 40 58 03 41 01 02 03 00 03 0b 2f 2f 56 61 72 69 61 62 6c 65 01 | .@....A....@X.A......//Variable. |
| 0e40 | 06 41 02 01 0e 05 1e 01 01 01 41 03 01 07 02 02 2a 05 03 41 04 01 06 05 02 2c 01 41 05 01 0d 05 | .A........A.....*..A.....,.A.... |
| 0e60 | 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d 07 41 06 01 0f 05 41 07 01 03 02 40 58 03 41 01 01 06 | .arguments..+=.A....A....@X.A... |
| 0e80 | 41 08 01 0e 05 1e 01 01 01 01 01 41 09 01 06 05 02 29 01 01 01 01 41 0a 01 0e 05 41 0b 01 0c 02 | A..........A.....)....A....A.... |
| 0ea0 | 10 4e 65 67 61 74 69 76 65 4c 69 74 65 72 61 6c 03 41 0c 01 03 02 40 58 03 41 0d 02 03 00 03 12 | .NegativeLiteral.A....@X.A...... |
| 0ec0 | 2f 2f 4e 65 67 61 74 69 76 65 4c 69 74 65 72 61 6c 01 04 41 0e 01 07 05 03 41 0f 01 06 05 02 21 | //NegativeLiteral..A.....A.....! |
| 0ee0 | 01 41 10 01 0d 05 05 61 74 6f 6d 06 02 3d 07 41 11 01 0e 05 40 f1 01 01 01 01 01 01 01 01 01 41 | .A.....atom..=.A....@..........A |
| 0f00 | 12 01 07 02 02 2a 05 03 41 13 01 06 05 02 2c 01 41 14 01 0d 05 09 6c 69 74 65 72 61 6c 73 06 03 | .....*..A.....,.A.....literals.. |
| 0f20 | 2b 3d 07 41 15 01 0e 05 40 ec 01 01 01 01 01 01 01 41 16 01 07 02 02 2a 05 03 41 17 01 06 05 02 | +=.A....@........A.....*..A..... |
| 0f40 | 3b 01 41 18 01 0d 05 07 62 6f 64 69 65 73 06 03 2b 3d 07 41 19 01 0e 05 40 e6 01 01 01 01 41 1a | ;.A.....bodies..+=.A....@.....A. |
| 0f60 | 01 06 05 02 2e 01 01 01 01 41 1b 01 0e 05 41 1c 01 0c 02 0a 41 73 73 65 72 74 69 6f 6e 03 41 1d | .........A....A.....Assertion.A. |
| 0f80 | 01 03 02 40 58 03 41 1e 02 03 00 03 0c 2f 2f 41 73 73 65 72 74 69 6f 6e 01 04 41 1f 01 07 05 03 | ...@X.A......//Assertion..A..... |
| 0fa0 | 41 20 01 05 05 03 41 21 01 07 05 07 41 22 01 0d 05 09 72 65 6c 61 74 69 6f 6e 06 02 3d 07 41 23 | A.....A!....A"....relation..=.A# |
| 0fc0 | 01 0f 05 41 24 01 03 02 40 58 03 40 f8 01 06 41 25 01 0e 05 40 b6 01 01 01 41 26 01 06 05 02 28 | ...A$...@X.@...A%...@....A&....( |
| 0fe0 | 01 41 27 01 07 02 02 3f 05 03 41 28 01 0d 05 0a 61 72 67 75 6d 65 6e 74 73 06 03 2b 3d 07 41 29 | .A'....?..A(....arguments..+=.A) |
| 1000 | 01 0f 05 41 2a 01 03 02 40 58 03 41 2b 02 03 00 03 07 2f 2f 4e 6f 64 65 01 06 41 2c 01 0e 05 40 | ...A*...@X.A+.....//Node..A,...@ |
| 1020 | b6 01 01 01 41 2d 01 07 02 02 2a 05 03 41 2e 01 06 05 02 2c 01 41 2f 01 0d 05 0a 61 72 67 75 6d | ....A-....*..A.....,.A/....argum |
| 1040 | 65 6e 74 73 06 03 2b 3d 07 41 30 01 0f 05 41 31 01 03 02 40 58 03 41 2b 01 06 41 32 01 0e 05 40 | ents..+=.A0...A1...@X.A+..A2...@ |
| 1060 | b6 01 01 01 01 01 41 33 01 06 05 02 29 01 41 34 01 06 05 02 3a 01 41 35 01 0d 05 06 76 61 6c 75 | ......A3....).A4....:.A5....valu |
| 1080 | 65 06 02 3d 07 41 36 01 0e 05 41 37 01 10 09 45 6e 75 6d 52 75 6c 65 02 05 6e 61 6d 65 0b 4c 6f | e..=.A6...A7...EnumRule..name.Lo |
| 10a0 | 67 69 63 56 61 6c 75 65 03 05 74 79 70 65 41 38 01 03 02 40 58 03 41 39 02 04 06 45 45 6e 75 6d | gicValue..typeA8...@X.A9...EEnum |
| 10c0 | 00 03 0d 2f 2f 4c 6f 67 69 63 56 61 6c 75 65 01 04 0d 61 6c 74 65 72 6e 61 74 69 76 65 73 41 3a | ...//LogicValue...alternativesA: |
| 10e0 | 01 05 05 04 41 3b 01 11 17 45 6e 75 6d 4c 69 74 65 72 61 6c 44 65 63 6c 61 72 61 74 69 6f 6e 05 | ....A;...EnumLiteralDeclaration. |
| 1100 | 0c 65 6e 75 6d 4c 69 74 65 72 61 6c 41 3c 02 05 0d 45 45 6e 75 6d 4c 69 74 65 72 61 6c 00 03 12 | .enumLiteralA<...EEnumLiteral... |
| 1120 | 2f 2f 4c 6f 67 69 63 56 61 6c 75 65 2f 54 52 55 45 06 08 6c 69 74 65 72 61 6c 41 3d 01 06 05 05 | //LogicValue/TRUE..literalA=.... |
| 1140 | 74 72 75 65 01 01 41 3e 01 11 05 41 3f 02 05 00 03 13 2f 2f 4c 6f 67 69 63 56 61 6c 75 65 2f 46 | true..A>...A?.....//LogicValue/F |
| 1160 | 41 4c 53 45 06 41 40 01 06 05 06 66 61 6c 73 65 01 01 41 41 01 11 05 41 42 02 05 00 03 15 2f 2f | ALSE.A@....false..AA...AB.....// |
| 1180 | 4c 6f 67 69 63 56 61 6c 75 65 2f 55 4e 4b 4e 4f 57 4e 06 41 43 01 06 05 08 75 6e 6b 6e 6f 77 6e | LogicValue/UNKNOWN.AC....unknown |
| 11a0 | 01 01 01 01 01 01 01 41 44 01 07 05 06 41 45 01 0d 02 02 3f 05 06 76 61 6c 75 65 06 02 3d 07 41 | .......AD....AE....?..value..=.A |
| 11c0 | 46 01 0e 05 41 47 01 10 02 10 53 68 6f 72 74 4c 6f 67 69 63 56 61 6c 75 65 03 41 48 01 03 02 40 | F...AG....ShortLogicValue.AH...@ |
| 11e0 | 58 03 41 39 01 04 41 49 01 05 05 03 41 4a 01 11 05 41 3f 06 41 4b 01 06 05 02 21 01 01 41 4c 01 | X.A9..AI....AJ...A?.AK....!..AL. |
| 1200 | 11 05 41 42 06 41 4d 01 06 05 02 3f 01 01 01 01 01 01 41 4e 01 0d 05 09 72 65 6c 61 74 69 6f 6e | ..AB.AM....?......AN....relation |
| 1220 | 06 02 3d 07 41 4f 01 0f 05 41 50 01 03 02 40 58 03 40 f8 01 06 41 51 01 0e 05 40 b6 01 01 01 41 | ..=.AO...AP...@X.@...AQ...@....A |
| 1240 | 52 01 06 05 02 28 01 41 53 01 07 02 02 3f 05 03 41 54 01 0d 05 0a 61 72 67 75 6d 65 6e 74 73 06 | R....(.AS....?..AT....arguments. |
| 1260 | 03 2b 3d 07 41 55 01 0f 05 41 56 01 03 02 40 58 03 41 2b 01 06 41 57 01 0e 05 40 b6 01 01 01 41 | .+=.AU...AV...@X.A+..AW...@....A |
| 1280 | 58 01 07 02 02 2a 05 03 41 59 01 06 05 02 2c 01 41 5a 01 0d 05 0a 61 72 67 75 6d 65 6e 74 73 06 | X....*..AY....,.AZ....arguments. |
| 12a0 | 03 2b 3d 07 41 5b 01 0f 05 41 5c 01 03 02 40 58 03 41 2b 01 06 41 5d 01 0e 05 40 b6 01 01 01 01 | .+=.A[...A\...@X.A+..A]...@..... |
| 12c0 | 01 41 5e 01 06 05 02 29 01 01 01 41 5f 01 06 05 02 2e 01 01 01 01 41 60 01 0e 05 41 61 01 0c 02 | .A^....)...A_.........A`...Aa... |
| 12e0 | 11 53 63 6f 70 65 44 65 63 6c 61 72 61 74 69 6f 6e 03 41 62 01 03 02 40 58 03 41 63 02 03 00 03 | .ScopeDeclaration.Ab...@X.Ac.... |
| 1300 | 13 2f 2f 53 63 6f 70 65 44 65 63 6c 61 72 61 74 69 6f 6e 01 04 41 64 01 07 05 05 41 65 01 06 05 | .//ScopeDeclaration..Ad....Ae... |
| 1320 | 06 73 63 6f 70 65 01 41 66 01 0d 05 0b 74 79 70 65 53 63 6f 70 65 73 06 03 2b 3d 07 41 67 01 0e | .scope.Af....typeScopes..+=.Ag.. |
| 1340 | 05 41 68 01 0c 02 0a 54 79 70 65 53 63 6f 70 65 03 41 69 01 03 02 40 58 03 41 6a 02 03 00 03 0c | .Ah....TypeScope.Ai...@X.Aj..... |
| 1360 | 2f 2f 54 79 70 65 53 63 6f 70 65 01 04 41 6b 01 07 05 04 41 6c 01 0d 05 0b 74 61 72 67 65 74 54 | //TypeScope..Ak....Al....targetT |
| 1380 | 79 70 65 06 02 3d 07 41 6d 01 0f 05 41 6e 01 03 02 40 58 03 40 66 01 06 41 6f 01 0e 05 1e 01 01 | ype..=.Am...An...@X.@f..Ao...... |
| 13a0 | 01 41 70 01 05 05 03 41 71 01 0d 05 0a 69 6e 63 72 65 6d 65 6e 74 06 03 3f 3d 07 41 72 01 06 05 | .Ap....Aq....increment..?=.Ar... |
| 13c0 | 03 2b 3d 01 01 41 73 01 06 05 02 3d 01 01 41 74 01 0d 05 0d 6d 75 6c 74 69 70 6c 69 63 69 74 79 | .+=..As....=..At....multiplicity |
| 13e0 | 06 02 3d 07 41 75 01 0e 05 40 94 01 01 01 01 01 01 41 76 01 07 02 02 2a 05 03 41 77 01 06 05 02 | ..=.Au...@.......Av....*..Aw.... |
| 1400 | 2c 01 41 78 01 0d 05 0b 74 79 70 65 53 63 6f 70 65 73 06 03 2b 3d 07 41 79 01 0e 05 41 68 01 01 | ,.Ax....typeScopes..+=.Ay...Ah.. |
| 1420 | 01 41 7a 01 06 05 02 2e 01 01 01 01 01 01 01 01 01 40 5f 40 64 40 85 40 c3 40 d3 40 e6 40 ec 41 | .Az..............@_@d@.@.@.@.@.A |
| 1440 | 0b 40 f1 41 1c 41 37 41 47 41 61 41 68 40 94 40 99 40 a8 40 a2 40 b6 01 02 01 | .@.A.A7AGAaAh@.@.@.@.@.... |
 |
index : refinery | |
| Mirror of https://github.com/graphs4value/refinery | Graphs4Value |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/xtext-gen/org/eclipse/viatra/solver/language/Problem.xtextbin
blob: d16365d769d1269097708fc5dce3bbf470974b81 (plain)