From 51edef030be94b7aa23631f7e40225c60878473f Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 27 Jul 2017 11:25:42 +0200
Subject: First shot at depths operators.

---
 instr-to-kodkod/parser/PropertyLexer.g4 | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'instr-to-kodkod/parser/PropertyLexer.g4')

diff --git a/instr-to-kodkod/parser/PropertyLexer.g4 b/instr-to-kodkod/parser/PropertyLexer.g4
index 9fcad29..64fccb0 100644
--- a/instr-to-kodkod/parser/PropertyLexer.g4
+++ b/instr-to-kodkod/parser/PropertyLexer.g4
@@ -28,6 +28,9 @@ EF_OPERATOR_KW: '(EF' SEP;
 AU_OPERATOR_KW: '(AU' SEP;
 EU_OPERATOR_KW: '(EU' SEP;
 
+DEPTH_NO_PARENT_OPERATOR_KW: '(does_not_reach_parent_before' SEP;
+DEPTH_NO_CHANGE_OPERATOR_KW: '(does_not_change_depth_before' SEP;
+
 WS: SEP;
 
 ID: [a-zA-Z0-9_]+;
-- 
cgit v1.2.3-70-g09d2