Compare commits

...

2 Commits

  1. 2
      Computergrafiek Project/graphics_project_21-22-Danacus
  2. 2
      MAS/PacketWorld
  3. 13
      MCS/idp/project/elevator.idp
  4. 2
      Swarch/sa-project

@ -1 +1 @@
Subproject commit 278e464a70e2c29c955c89b68cfafea6007c28ba
Subproject commit bcf2b41b30670db5c7c4d49819346386bc4baa0d

@ -1 +1 @@
Subproject commit 24518f85d3f2e15154a79339381ed96ae7bf99ae
Subproject commit 809f66281b7622aee0e0e9eda36b4a5054107914

@ -1,6 +1,6 @@
// First name: <your first name>
// Last name: <your last name>
// Student number: <your student number>
// First name: Daan
// Last name: Vanoverloop
// Student number: r0743499
// FIXED VOCABULARY
@ -28,6 +28,13 @@ LTCvocabulary V_fixed {
LTCvocabulary V_student {
extern vocabulary V_fixed
type Direction constructed from {Up, Down} // Direction in which the elevator is moving
// Fluents
ElDirection(Time): Direction
// Causalities
C_ElDirection
}
// TIME THEORY

@ -1 +1 @@
Subproject commit 282bea1af0f618be79562dcaa7526a8fcbea70a2
Subproject commit 917c21e812bfef334e269747ed105e1dd98352c5
Loading…
Cancel
Save