From 7cfc0a35e15320aeeb255e6dfdef479bf9c888ae Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 15 Aug 2017 10:39:30 +0200
Subject: Adds 'eq' and 'iff' to the language.

---
 instr-to-kodkod/parser/PropertyLexer.g4 | 2 ++
 1 file changed, 2 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 f5b553e..46a6d3d 100644
--- a/instr-to-kodkod/parser/PropertyLexer.g4
+++ b/instr-to-kodkod/parser/PropertyLexer.g4
@@ -9,11 +9,13 @@ R_BRAKT: ']';
 
 TAG_EXISTING_KW: '(tag_existing' SEP;
 
+IFF_OPERATOR_KW: '(iff' SEP;
 AND_OPERATOR_KW: '(and' SEP;
 OR_OPERATOR_KW: '(or' SEP;
 NOT_OPERATOR_KW: '(not' SEP ;
 IMPLIES_OPERATOR_KW: '(implies' SEP;
 
+EQ_SPECIAL_PREDICATE_KW: '(eq' SEP;
 REGEX_SPECIAL_PREDICATE_KW: '(string_matches' SEP;
 
 EXISTS_OPERATOR_KW: '(exists' SEP;
-- 
cgit v1.2.3-70-g09d2