From b0a74ddc59ef008f855784ca78dddd0cc31bd79d Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Wed, 27 Nov 2013 12:35:11 +0000
Subject: added API in the C runtime and the Java binding for checking whether
 a given function is linearizable in a given language. This is used in the
 Android UI for better vizualizations

---
 src/runtime/c/pgf/pgf.c | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src/runtime/c/pgf/pgf.c')

diff --git a/src/runtime/c/pgf/pgf.c b/src/runtime/c/pgf/pgf.c
index b9f555978..155b93135 100644
--- a/src/runtime/c/pgf/pgf.c
+++ b/src/runtime/c/pgf/pgf.c
@@ -158,3 +158,11 @@ pgf_print_name(PgfConcr* concr, PgfCId id)
 		name = id;
 	return name;
 }
+
+bool
+pgf_has_linearization(PgfConcr* concr, PgfCId id)
+{
+	PgfCncOverloadMap* overl_table =
+		gu_map_get(concr->fun_indices, id, PgfCncOverloadMap*);
+	return (overl_table != NULL);
+}
-- 
cgit v1.2.3