From c4757c72887d0d83a51099c9f33d3e027f55a4e6 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Tue, 15 Aug 2023 12:35:06 +0200
Subject: refactor(language): invalid multiplicity trace

Also simplifies attributes and flags for now, as we don't translate them to
abstractions.
---
 .../tools/refinery/language/builtin.problem        | 41 ++++------------------
 1 file changed, 6 insertions(+), 35 deletions(-)

(limited to 'subprojects/language/src/main/resources')

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 9c1d7669..8570e363 100644
--- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem
+++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem
@@ -3,43 +3,14 @@
 % SPDX-License-Identifier: EPL-2.0
 problem builtin.
 
-abstract class node {
-	refers node[] equals opposite equals
-}
+abstract class node.
 
-pred exists(node node).
+pred exists(node).
 
-% class Integer {
-%     int intValue
-% }
-%
-% class Real {
-%     real realValue
-% }
-%
-% class String {
-%     string stringValue
-% }
-%
-% enum Boolean {
-%     TRUE, FALSE
-% }
+pred equals(left, right).
 
-pred contained(node node).
+abstract class contained extends node.
 
-pred contains(node container, node contained).
+pred contains(container, contained contained).
 
-pred root(node node).
-
-% error missingContainer(contained node) <->
-%     !contains(node, _), !root(node).
-%
-% error tooManyContainers(contained node) <->
-%     #contains(_, node) > 1
-% ;
-%     contains(_, node), root(node)
-% ;
-% 	  contains(_, node), !contained(node).
-%
-% error containmentCycle(node node) <->
-%     contains+(node, node).
+error invalidNumberOfContainers(contained contained).
-- 
cgit v1.2.3-54-g00ecf