an API to access the names of all fields withing a category

This commit is contained in:
krangelov
2020-03-06 12:29:08 +01:00
parent 9806232532
commit 00e25d0ccb
4 changed files with 44 additions and 1 deletions

View File

@@ -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);