GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

a trivial refactoring of the reasoner in the C runtime

Browse Source
This commit is contained in:
kr.angelov
2013-04-23 06:40:14 +00:00
parent 67f33e5f24
commit aad274022a
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/runtime/c/pgf/reasoner.c
View File

@@ -82,7 +82,7 @@ pgf_print_expr_state(PgfExprState* st,
}
static void
pgf_print_expr_state0(PgfExprState* st, PgfAbstr* abstract,
pgf_print_expr_state0(PgfExprState* st,
GuWriter* wtr, GuExn* err, GuPool* tmp_pool)
{
prob_t prob = st->answers->outside_prob+st->ep.prob;
@@ -92,7 +92,7 @@ pgf_print_expr_state0(PgfExprState* st, PgfAbstr* abstract,
GuBuf* stack = gu_new_buf(int, tmp_pool);
if (n_args > 0)
gu_buf_push(stack, int, gu_seq_length(st->hypos) - st->arg_idx);
gu_buf_push(stack, int, n_args - st->arg_idx);
PgfExprState* cont =
gu_buf_get(st->answers->conts, PgfExprState*, 0);
@@ -249,7 +249,7 @@ pgf_reasoner_next(PgfReasoner* rs, GuPool* pool)
GuOut* out = gu_file_out(stderr, tmp_pool);
GuWriter* wtr = gu_new_utf8_writer(out, tmp_pool);
GuExn* err = gu_exn(NULL, type, tmp_pool);
pgf_print_expr_state0(st, rs->abstract, wtr, err, tmp_pool);
pgf_print_expr_state0(st, wtr, err, tmp_pool);
gu_pool_free(tmp_pool);
}
#endif