diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-03-07 11:00:17 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-03-07 11:00:17 +0000 |
| commit | a96da3048948389af8938db562a602907b1e0568 (patch) | |
| tree | 41c479d8db0a66f90afc7a4a2530bf86fc626c74 /src/runtime/c/pgf/parser.h | |
| parent | d6c2943ad11bff20e8aa67bdb80510731308e966 (diff) | |
libpgf: two APIs - one for finding all parse results and another for finding the best parse result
Diffstat (limited to 'src/runtime/c/pgf/parser.h')
| -rw-r--r-- | src/runtime/c/pgf/parser.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/parser.h b/src/runtime/c/pgf/parser.h index 38ae9f1a4..2744dd242 100644 --- a/src/runtime/c/pgf/parser.h +++ b/src/runtime/c/pgf/parser.h @@ -97,6 +97,8 @@ pgf_parse_result(PgfParse* parse, GuPool* pool); * succesful, or ambiguously successful. */ +PgfExpr +pgf_parse_best_result(PgfParse* parse, GuPool* pool); /** @} */ |