diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-06-25 19:22:42 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-06-25 19:22:42 +0000 |
| commit | d553cb165a5dd02c8d27e88a196e0e6b15cf389b (patch) | |
| tree | 1cf3a7c5387422f23bb89c2fe623ab436e6aec2b /src/runtime/c/pgf/data.h | |
| parent | 09a42bbab0bc0d19cd7bd85f8b3705316c8b4038 (diff) | |
Now there is a just-in-time compiler which generates native code for proof search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec.
Diffstat (limited to 'src/runtime/c/pgf/data.h')
| -rw-r--r-- | src/runtime/c/pgf/data.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/data.h b/src/runtime/c/pgf/data.h index 24ebbea32..1be7a3fcf 100644 --- a/src/runtime/c/pgf/data.h +++ b/src/runtime/c/pgf/data.h @@ -76,6 +76,7 @@ typedef struct { int arity; PgfEquations defns; // maybe null PgfExprProb ep; + void* predicate; } PgfAbsFun; extern GU_DECLARE_TYPE(PgfAbsFun, abstract); @@ -91,7 +92,8 @@ typedef struct { prob_t meta_token_prob; PgfMetaChildMap* meta_child_probs; - GuBuf* functions; // -->PgfFunDecl + GuBuf* functions; // -->PgfAbsFun + void* predicate; } PgfAbsCat; extern GU_DECLARE_TYPE(PgfAbsCat, abstract); |