diff options
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); +} |