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

1 files changed, 1 insertions, 7 deletions

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
 };