From 2c169406fcfa7a38cd89f8a6acbd0bb138d7c330 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Mon, 7 Jan 2013 12:50:32 +0000 Subject: 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 --- src/runtime/c/pgf/data.c | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'src/runtime/c/pgf/data.c') 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( -- cgit v1.2.3