fixes in the C and Python API to make them closer to the Haskell API

6 files changed, 23 insertions, 22 deletions

diff --git a/src/runtime/c/pgf/graphviz.c b/src/runtime/c/pgf/graphviz.c
index 2bc27c238..7c3ee60c4 100644
--- a/src/runtime/c/pgf/graphviz.c
+++ b/src/runtime/c/pgf/graphviz.c
@@ -220,7 +220,7 @@ static PgfLinFuncs pgf_bracket_lin_funcs = {
 	.end_phrase    = pgf_bracket_lzn_end_phrase
 };
 
-void
+static void
 pgf_graphviz_parse_level(GuBuf* level, GuWriter* wtr, GuExn* err)
 {
 	gu_puts("\n  subgraph {rank=same;\n", wtr, err);
diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c
index 9a38d2f4e..2cad7f849 100644
--- a/src/runtime/c/pgf/jit.c
+++ b/src/runtime/c/pgf/jit.c
@@ -130,7 +130,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats,
 		jit_pusharg_p(JIT_V0);
 		jit_pusharg_p(JIT_V2);
 		jit_pusharg_p(JIT_V1);
-		jit_finish(pgf_try_first);
+		jit_finish(pgf_reasoner_try_first);
 	}
 
 #ifdef PGF_JIT_DEBUG
@@ -182,7 +182,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats,
 				jit_pusharg_p(JIT_V0);
 				jit_pusharg_p(JIT_V2);
 				jit_pusharg_p(JIT_V1);
-				jit_finish(pgf_try_else);
+				jit_finish(pgf_reasoner_try_else);
 			}
 				
 			for (size_t i = 0; i < n_hypos; i++) {
@@ -240,7 +240,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats,
 					jit_getarg_p(JIT_V1, rs_arg);
 					jit_getarg_p(JIT_V2, st_arg);
 				} else {
-					jit_patch_movi(ref,pgf_complete);
+					jit_patch_movi(ref,pgf_reasoner_complete);
 				}
 			}
 		} else {
@@ -260,7 +260,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats,
 				jit_pusharg_p(JIT_V0);
 				jit_pusharg_p(JIT_V2);
 				jit_pusharg_p(JIT_V1);
-				jit_finish(pgf_try_constant);
+				jit_finish(pgf_reasoner_try_constant);
 			} else {
 #ifdef PGF_JIT_DEBUG
 				gu_puts("    COMPLETE\n", wtr, err);
@@ -270,7 +270,7 @@ pgf_jit_predicate(PgfJitState* state, PgfCIdMap* abscats,
 				jit_prepare(2);
 				jit_pusharg_p(JIT_V2);
 				jit_pusharg_p(JIT_V1);
-				jit_finish(pgf_complete);
+				jit_finish(pgf_reasoner_complete);
 			}
 
 #ifdef PGF_JIT_DEBUG
diff --git a/src/runtime/c/pgf/pgf.c b/src/runtime/c/pgf/pgf.c
index 519dfea4a..dc2ed7290 100644
--- a/src/runtime/c/pgf/pgf.c
+++ b/src/runtime/c/pgf/pgf.c
@@ -254,8 +254,8 @@ pgf_parse_with_heuristics(PgfConcr* concr, PgfCId cat, PgfLexer *lexer,
 }
 
 GuEnum*
-pgf_get_completions(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, 
-                    GuString prefix, GuPool* pool)
+pgf_complete(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, 
+             GuString prefix, GuPool* pool)
 {
 	// Begin parsing a sentence of the specified category
 	PgfParseState* state =
diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h
index bda70315e..fe86373cf 100644
--- a/src/runtime/c/pgf/pgf.h
+++ b/src/runtime/c/pgf/pgf.h
@@ -51,6 +51,7 @@ typedef struct PgfConcr PgfConcr;
 
 #include <pgf/expr.h>
 #include <pgf/lexer.h>
+#include <pgf/graphviz.h>
 
 /// An enumeration of #PgfExpr elements.
 typedef GuEnum PgfExprEnum;
@@ -126,15 +127,15 @@ pgf_parse_with_heuristics(PgfConcr* concr, PgfCId cat, PgfLexer *lexer,
                           GuPool* pool, GuPool* out_pool);
 
 GuEnum*
-pgf_get_completions(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, 
-                    GuString prefix, GuPool* pool);
+pgf_complete(PgfConcr* concr, PgfCId cat, PgfLexer *lexer, 
+             GuString prefix, GuPool* pool);
 
 bool
 pgf_parseval(PgfConcr* concr, PgfExpr expr, PgfCId cat, 
              double *precision, double *recall, double *exact);
                     
 PgfExprEnum*
-pgf_generate(PgfPGF* pgf, PgfCId cat, GuPool* pool);
+pgf_generate_all(PgfPGF* pgf, PgfCId cat, GuPool* pool);
 
 /// @}
 
diff --git a/src/runtime/c/pgf/reasoner.c b/src/runtime/c/pgf/reasoner.c
index 73f9a8b69..c308dac9a 100644
--- a/src/runtime/c/pgf/reasoner.c
+++ b/src/runtime/c/pgf/reasoner.c
@@ -226,7 +226,7 @@ pgf_combine1(PgfReasoner* rs, PgfCombine1State* st)
 }
 
 void
-pgf_try_first(PgfReasoner* rs, PgfExprState* parent, PgfAbsFun* absfun)
+pgf_reasoner_try_first(PgfReasoner* rs, PgfExprState* parent, PgfAbsFun* absfun)
 {
 	PgfCId cat = absfun->type->cid;
 
@@ -276,7 +276,7 @@ pgf_try_first(PgfReasoner* rs, PgfExprState* parent, PgfAbsFun* absfun)
 }
 
 void
-pgf_try_else(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun)
+pgf_reasoner_try_else(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun)
 {
 	PgfExprState *st = gu_new(PgfExprState, rs->tmp_pool);
 	st->base.continuation = (PgfPredicate) absfun->predicate;
@@ -311,7 +311,7 @@ pgf_combine2(PgfReasoner* rs, PgfCombine2State* st)
 }
 
 void
-pgf_complete(PgfReasoner* rs, PgfExprState* st)
+pgf_reasoner_complete(PgfReasoner* rs, PgfExprState* st)
 {
 	PgfExprProb* ep = gu_new(PgfExprProb, rs->pool);
 	ep->prob = st->base.prob - st->answers->outside_prob;
@@ -332,10 +332,10 @@ pgf_complete(PgfReasoner* rs, PgfExprState* st)
 }
 
 void
-pgf_try_constant(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun)
+pgf_reasoner_try_constant(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun)
 {
-	pgf_try_else(rs, prev, absfun);
-	pgf_complete(rs, prev);
+	pgf_reasoner_try_else(rs, prev, absfun);
+	pgf_reasoner_complete(rs, prev);
 }
 
 static PgfExprProb*
@@ -382,7 +382,7 @@ pgf_reasoner_enum_next(GuEnum* self, void* to, GuPool* pool)
 }
 
 PgfExprEnum*
-pgf_generate(PgfPGF* pgf, PgfCId cat, GuPool* pool)
+pgf_generate_all(PgfPGF* pgf, PgfCId cat, GuPool* pool)
 {
 	PgfReasoner* rs = gu_new(PgfReasoner, pool);
 	rs->pool = pool;
diff --git a/src/runtime/c/pgf/reasoner.h b/src/runtime/c/pgf/reasoner.h
index cbc7a7832..e314a2dd9 100644
--- a/src/runtime/c/pgf/reasoner.h
+++ b/src/runtime/c/pgf/reasoner.h
@@ -8,15 +8,15 @@ typedef struct PgfExprState PgfExprState;
 typedef void (*PgfPredicate)(PgfReasoner* rs, PgfReasonerState* st);
 
 void
-pgf_try_first(PgfReasoner* rs, PgfExprState* parent, PgfAbsFun* absfun);
+pgf_reasoner_try_first(PgfReasoner* rs, PgfExprState* parent, PgfAbsFun* absfun);
 
 void
-pgf_try_else(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun);
+pgf_reasoner_try_else(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun);
 
 void
-pgf_complete(PgfReasoner* rs, PgfExprState* st);
+pgf_reasoner_complete(PgfReasoner* rs, PgfExprState* st);
 
 void
-pgf_try_constant(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun);
+pgf_reasoner_try_constant(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun);
 
 #endif