From 798dea30c7832f8c6364d1734423c6a6fda1ce57 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 1 Aug 2017 10:04:25 +0200
Subject: Fixes regex predicate + optimizes CNE_01700.

The combination of those two changes makes the solving much faster, but
since BCE does not have anything that would be matched, it may also
simply be incorrect.
---
 instr-to-kodkod/parser/PropertyParser.g4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/instr-to-kodkod/parser/PropertyParser.g4 b/instr-to-kodkod/parser/PropertyParser.g4
index e6cd164..021f02c 100644
--- a/instr-to-kodkod/parser/PropertyParser.g4
+++ b/instr-to-kodkod/parser/PropertyParser.g4
@@ -340,8 +340,8 @@ regex_special_predicate [Variable current_node]
             (
                Main.get_model().get_predicate_as_relation
                (
-                  "is_start_node"
-               ).transpose()
+                  "string_matches"
+               )
             );
       }
       catch (final Exception e)
-- 
cgit v1.2.3-70-g09d2