diff options
author | 2021-09-19 18:02:42 +0200 | |
---|---|---|
committer | 2021-09-19 18:02:42 +0200 | |
commit | ffb4c903f350920cbba0fe5ffa059056246adc27 (patch) | |
tree | 2488ace411537df59416d5113525b88b9c026453 /language | |
parent | renamed TupleRelationView -> KeyOnlyView (diff) | |
download | refinery-ffb4c903f350920cbba0fe5ffa059056246adc27.tar.gz refinery-ffb4c903f350920cbba0fe5ffa059056246adc27.tar.zst refinery-ffb4c903f350920cbba0fe5ffa059056246adc27.zip |
Small fixes over the project
Diffstat (limited to 'language')
-rw-r--r-- | language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend b/language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend index fcf05d1d..11bfc6d9 100644 --- a/language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend +++ b/language/src/test/java/org/eclipse/viatra/solver/language/tests/ProblemParsingTest.xtend | |||
@@ -42,13 +42,14 @@ class ProblemParsingTest { | |||
42 | } | 42 | } |
43 | 43 | ||
44 | % A child cannot have any dependents. | 44 | % A child cannot have any dependents. |
45 | error invalidTaxStatus(Person p) <=> | 45 | error invalidTaxStatus(Person p) <-> |
46 | taxStatus(p, child), children(p, _q). | 46 | taxStatus(p, child), children(p, _q). |
47 | 47 | ||
48 | Family('family'). | 48 | unique family. |
49 | members('family', anne): true. | 49 | Family(family). |
50 | members('family', bob). | 50 | members(family, anne): true. |
51 | members('family', ciri). | 51 | members(family, bob). |
52 | members(family, ciri). | ||
52 | children(anne, ciri). | 53 | children(anne, ciri). |
53 | ?children(bob, ciri). | 54 | ?children(bob, ciri). |
54 | taxStatus(anne, adult). | 55 | taxStatus(anne, adult). |