diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-08-16 12:44:37 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-08-16 12:44:37 +0000 |
| commit | 1e44fdb3d3413709ae635f0fae91ffa4a93a2d9d (patch) | |
| tree | 525687c815be70d86c7be23e61ba708746bbf725 /src/runtime/c/pgf/reasoner.h | |
| parent | fc7e77bf50adaceeec2364fa88134b533f0da00f (diff) | |
fixes in the C and Python API to make them closer to the Haskell API
Diffstat (limited to 'src/runtime/c/pgf/reasoner.h')
| -rw-r--r-- | src/runtime/c/pgf/reasoner.h | 8 |
1 files changed, 4 insertions, 4 deletions
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 |