diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-06-26 21:43:55 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-06-26 21:43:55 +0200 |
| commit | e92ebe4a61a106ff9c0e8f5bbbc3632f1dc60009 (patch) | |
| tree | 29ae119d1e17ace16115a82eef60b5b0bd886aba /org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem | |
| parent | Add initial prototype (diff) | |
| download | refinery-e92ebe4a61a106ff9c0e8f5bbbc3632f1dc60009.tar.gz refinery-e92ebe4a61a106ff9c0e8f5bbbc3632f1dc60009.tar.zst refinery-e92ebe4a61a106ff9c0e8f5bbbc3632f1dc60009.zip | |
FIx scoping, extend grammar
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem')
| -rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem new file mode 100644 index 00000000..4975dad6 --- /dev/null +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/resources/org/eclipse/viatra/solver/language/builtin.problem | |||
| @@ -0,0 +1,7 @@ | |||
| 1 | problem builtin. | ||
| 2 | |||
| 3 | abstract class node { | ||
| 4 | refers node[0..*] equals opposite equals | ||
| 5 | } | ||
| 6 | |||
| 7 | predicate exists(node node). \ No newline at end of file | ||