diff options
Diffstat (limited to 'src/runtime/c/pgf/pgf.h')
| -rw-r--r-- | src/runtime/c/pgf/pgf.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h index ef68e651f..03f1d4d48 100644 --- a/src/runtime/c/pgf/pgf.h +++ b/src/runtime/c/pgf/pgf.h @@ -116,6 +116,10 @@ pgf_linearize(PgfConcr* concr, PgfExpr expr, GuWriter* wtr, GuExn* err); PgfExprEnum* pgf_parse(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, GuPool* pool); +bool +pgf_parseval(PgfConcr* concr, PgfExpr expr, PgfCId cat, + double *precision, double *recall, double *exact); + PgfExprEnum* pgf_generate(PgfPGF* pgf, PgfCId cat, GuPool* pool); |