diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-04-23 06:40:14 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-04-23 06:40:14 +0000 |
| commit | aad274022a53b2d43ecdc6c46fcc401f755cb8ee (patch) | |
| tree | 5f9eedd7f7950f46b48371d1588e5660ae79a438 /src/runtime/c/pgf | |
| parent | 67f33e5f247bf67db2e4c655740f98d0003275e0 (diff) | |
a trivial refactoring of the reasoner in the C runtime
Diffstat (limited to 'src/runtime/c/pgf')
| -rw-r--r-- | src/runtime/c/pgf/reasoner.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/runtime/c/pgf/reasoner.c b/src/runtime/c/pgf/reasoner.c index 67ef077ed..672d4c5b2 100644 --- a/src/runtime/c/pgf/reasoner.c +++ b/src/runtime/c/pgf/reasoner.c @@ -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 |