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.h | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) (limited to 'src/runtime/c/pgf/data.h') diff --git a/src/runtime/c/pgf/data.h b/src/runtime/c/pgf/data.h index ea87e17c1..f2cbc31cc 100644 --- a/src/runtime/c/pgf/data.h +++ b/src/runtime/c/pgf/data.h @@ -131,11 +131,6 @@ struct PgfFunDecl { extern GU_DECLARE_TYPE(PgfFunDecl, struct); -struct PgfCatFun { - double prob; - PgfCId fun; -}; - typedef GuMap PgfMetaChildMap; extern GU_DECLARE_TYPE(PgfMetaChildMap, GuMap); @@ -147,8 +142,7 @@ struct PgfCat { prob_t meta_token_prob; PgfMetaChildMap* meta_child_probs; - GuLength n_functions; - PgfCatFun functions[]; // XXX: resolve to PgfFunDecl*? + GuBuf* functions; // -->PgfFunDecl }; -- cgit v1.2.3