diff options
Diffstat (limited to 'subprojects/language/src/main/resources')
-rw-r--r-- | subprojects/language/src/main/resources/tools/refinery/language/builtin.problem | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem index 323e03f1..e39ff1a3 100644 --- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem +++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem | |||
@@ -19,3 +19,22 @@ class real extends data. | |||
19 | class int extends data. | 19 | class int extends data. |
20 | 20 | ||
21 | class string extends data. | 21 | class string extends data. |
22 | |||
23 | pred contained(node node). | ||
24 | |||
25 | pred contains(node container, node contained). | ||
26 | |||
27 | pred root(node node). | ||
28 | |||
29 | % error missingContainer(contained node) <-> | ||
30 | % !contains(node, _), !root(node). | ||
31 | % | ||
32 | % error tooManyContainers(contained node) <-> | ||
33 | % count contains(_, node) > 1 | ||
34 | % ; | ||
35 | % contains(_, node), root(node) | ||
36 | % ; | ||
37 | % contains(_, node), !contained(node). | ||
38 | % | ||
39 | % error containmentCycle(node node) <-> | ||
40 | % contains+(node, node). | ||