From 0222d2440c6b6246da2a5d8d397bb1d766419c0e Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 8 Jul 2014 19:45:49 +0000 Subject: implemented computing with abstract syntax trees. It passes all test cases except those that require def rules. The design is consistent with the STG virtual machine --- src/runtime/c/pgf/pgf.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (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 7cddbbcae..bc9fb7d99 100644 --- a/src/runtime/c/pgf/pgf.h +++ b/src/runtime/c/pgf/pgf.h @@ -99,7 +99,11 @@ pgf_linearize(PgfConcr* concr, PgfExpr expr, GuOut* out, GuExn* err); bool pgf_parseval(PgfConcr* concr, PgfExpr expr, PgfCId cat, double *precision, double *recall, double *exact); - + +PgfExpr +pgf_compute(PgfPGF* pgf, PgfExpr expr, GuExn* err, + GuPool* pool, GuPool* out_pool); + PgfExprEnum* pgf_generate_all(PgfPGF* pgf, PgfCId cat, GuPool* pool); -- cgit v1.2.3