From 79f8e2507f3d16cbda1ac261c9d23a7455f2b0d7 Mon Sep 17 00:00:00 2001 From: Michael Leuschel <leuschel@uni-duesseldorf.de> Date: Thu, 12 Nov 2020 17:09:22 +0100 Subject: [PATCH] add missing include --- Physics/MovingParticles3.mch | 2 +- VisB-Examples.prob2project | 16 +++++++++++++++- 2 files changed, 16 insertions(+), 2 deletions(-) diff --git a/Physics/MovingParticles3.mch b/Physics/MovingParticles3.mch index 780722b..7033c36 100644 --- a/Physics/MovingParticles3.mch +++ b/Physics/MovingParticles3.mch @@ -7,7 +7,7 @@ DEFINITIONS SPEED_MULTIPLIER == 1000000.0; GRAV_MULTIPLIER == 1000000000000.0; MAXMASS == 1.989e30; - + "SORT.def"; gravitation == %i.(i:OBJ | sigma_vecs( SQUASH( %j.(j:OBJ & j/=i | diff --git a/VisB-Examples.prob2project b/VisB-Examples.prob2project index f3b60ea..b8dd07e 100644 --- a/VisB-Examples.prob2project +++ b/VisB-Examples.prob2project @@ -98,13 +98,27 @@ ], "modelcheckingItems": [], "visBVisualisation": "Physics/three_bodies.json" + }, + { + "name": "MovingParticles4", + "description": "", + "location": "Physics/MovingParticles4.mch", + "lastUsedPreferenceName": "default", + "ltlFormulas": [], + "ltlPatterns": [], + "symbolicCheckingFormulas": [], + "symbolicAnimationFormulas": [], + "testCases": [], + "traces": [], + "modelcheckingItems": [], + "visBVisualisation": null } ], "preferences": [], "metadata": { "fileType": "Project", "formatVersion": 9, - "savedAt": "2020-11-11T11:29:33.443088Z", + "savedAt": "2020-11-12T16:09:03.372063Z", "creator": "User", "proB2KernelVersion": "4.0.0-SNAPSHOT", "proBCliVersion": null, -- GitLab