diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-01-07 12:50:32 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-01-07 12:50:32 +0000 |
| commit | 2c169406fcfa7a38cd89f8a6acbd0bb138d7c330 (patch) | |
| tree | f169176053215f23bf098d22e8c1f24a2b222c16 /src/runtime/c/pgf/data.c | |
| parent | cade578d04b7a104723a06beea98895369c85cfc (diff) | |
a new reasoner in the C runtime. It supports tabling which makes it decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order
Diffstat (limited to 'src/runtime/c/pgf/data.c')
| -rw-r--r-- | src/runtime/c/pgf/data.c | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/runtime/c/pgf/data.c b/src/runtime/c/pgf/data.c index d5607031b..d7a44e31c 100644 --- a/src/runtime/c/pgf/data.c +++ b/src/runtime/c/pgf/data.c @@ -181,11 +181,6 @@ GU_DEFINE_TYPE( GU_MEMBER(PgfFunDecl, defns, PgfEquationsM), GU_MEMBER(PgfFunDecl, ep, PgfExprProb)); -GU_DEFINE_TYPE( - PgfCatFun, struct, - GU_MEMBER(PgfCatFun, prob, double), - GU_MEMBER(PgfCatFun, fun, PgfCId)); - static prob_t inf_prob = INFINITY; GU_DEFINE_TYPE(prob_t, GuFloating, _); @@ -196,9 +191,7 @@ GU_DEFINE_TYPE(PgfMetaChildMap, GuMap, GU_DEFINE_TYPE( PgfCat, struct, - GU_MEMBER(PgfCat, context, PgfHypos), - GU_MEMBER(PgfCat, n_functions, GuLength), - GU_FLEX_MEMBER(PgfCat, functions, PgfCatFun)); + GU_MEMBER(PgfCat, context, PgfHypos)); GU_DEFINE_TYPE( |