From 3c2d1890d0c5de25bbaa7c582c20bcd67bc47d8c Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 26 Jun 2013 07:36:03 +0000 Subject: patch for adjustable heuristics from Python --- src/runtime/c/pgf/pgf.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (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 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 -- cgit v1.2.3