diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-05-06 15:28:04 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-05-06 15:28:04 +0000 |
| commit | 7ba27229b314057104aeab8f46a7247fbb20352e (patch) | |
| tree | c140ce18b07b86c85aa49e937b3890c2a9361e70 /src/runtime/c/pgf/pgf.h | |
| parent | 520c2fb59d3d386a6ad468ea6bc6768c42e39a2d (diff) | |
the statistical parser is now using two memory pools: one for parsing and one for the output trees. This means that the memory for parsing can be released as soon as the needed abstract trees are retrieved, while the trees themselves are retained in the separate output pool
Diffstat (limited to 'src/runtime/c/pgf/pgf.h')
| -rw-r--r-- | src/runtime/c/pgf/pgf.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h index 39dc0dd04..d83598cc0 100644 --- a/src/runtime/c/pgf/pgf.h +++ b/src/runtime/c/pgf/pgf.h @@ -114,7 +114,8 @@ void pgf_linearize(PgfConcr* concr, PgfExpr expr, GuWriter* wtr, GuExn* err); PgfExprEnum* -pgf_parse(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, GuPool* pool); +pgf_parse(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, + GuPool* pool, GuPool* out_pool); GuEnum* pgf_get_completions(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, |