From 7faa8d1efb461153d051d86748bbfdde56cd9293 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Sun, 7 Jan 2024 12:22:30 +0100
Subject: [PATCH] added actionId and update typedefs

---
 util/PrismPrinter.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/util/PrismPrinter.h b/util/PrismPrinter.h
index 0d28af0..397cfa9 100644
--- a/util/PrismPrinter.h
+++ b/util/PrismPrinter.h
@@ -12,6 +12,9 @@ typedef AgentNameAndPosition KeyNameAndPosition;
 typedef std::map<AgentNameAndPosition::first_type, AgentNameAndPosition::second_type> AgentNameAndPositionMap;
 typedef std::map<KeyNameAndPosition::first_type, KeyNameAndPosition::second_type> KeyNameAndPositionMap;
 typedef std::pair<cell, std::string> CellAndCondition;
+typedef std::pair<float, std::string> update;
+typedef std::map<update::first_type, update::second_type> updates;
+typedef int8_t ActionId;
 
 std::string capitalize(std::string string);