diff options
Diffstat (limited to 'src/runtime/c/pgf/pgf.h')
| -rw-r--r-- | src/runtime/c/pgf/pgf.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h index d83598cc0..2e7e43584 100644 --- a/src/runtime/c/pgf/pgf.h +++ b/src/runtime/c/pgf/pgf.h @@ -117,6 +117,11 @@ PgfExprEnum* pgf_parse(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, GuPool* pool, GuPool* out_pool); +PgfExprEnum* +pgf_parse_with_heuristics(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, + double heuristics, + GuPool* pool, GuPool* out_pool); + GuEnum* pgf_get_completions(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, GuString prefix, GuPool* pool); @@ -128,11 +133,6 @@ pgf_parseval(PgfConcr* concr, PgfExpr expr, PgfCId cat, PgfExprEnum* pgf_generate(PgfPGF* pgf, PgfCId cat, GuPool* pool); -// an experimental function. Please don't use it -void -pgf_print_chunks(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, GuPool* pool); - - /// @} void |