From 1e44fdb3d3413709ae635f0fae91ffa4a93a2d9d Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Fri, 16 Aug 2013 12:44:37 +0000 Subject: fixes in the C and Python API to make them closer to the Haskell API --- src/runtime/c/pgf/reasoner.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/runtime/c/pgf/reasoner.h') 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 -- cgit v1.2.3