diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-11-27 12:35:11 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-11-27 12:35:11 +0000 |
| commit | b0a74ddc59ef008f855784ca78dddd0cc31bd79d (patch) | |
| tree | e216c7f5ac51c997f2c484950eff46054524de74 /src/runtime/c/pgf/pgf.c | |
| parent | eeec31cbabf77515a57d376071095b983f8be291 (diff) | |
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
Diffstat (limited to 'src/runtime/c/pgf/pgf.c')
| -rw-r--r-- | src/runtime/c/pgf/pgf.c | 8 |
1 files changed, 8 insertions, 0 deletions
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); +} |