From 00e25d0ccb114b5c4cce4e79e7e0ef164bf57f99 Mon Sep 17 00:00:00 2001 From: krangelov Date: Fri, 6 Mar 2020 12:29:08 +0100 Subject: an API to access the names of all fields withing a category --- src/runtime/c/pgf/pgf.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/runtime/c/pgf/pgf.h') diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h index c0a64f01d..5dbe2e2e1 100644 --- a/src/runtime/c/pgf/pgf.h +++ b/src/runtime/c/pgf/pgf.h @@ -95,6 +95,9 @@ pgf_category_context(PgfPGF *gr, PgfCId catname); PGF_API_DECL prob_t pgf_category_prob(PgfPGF* pgf, PgfCId catname); +PGF_API GuString* +pgf_category_fields(PgfConcr* concr, PgfCId catname, size_t *n_lins); + PGF_API_DECL void pgf_iter_functions(PgfPGF* pgf, GuMapItor* itor, GuExn* err); -- cgit v1.2.3