From faebebc8f4b4587c9c1849e20473ef9ef6678ded Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 25 May 2016 09:36:05 +0000 Subject: pgf_generate_all now works with literals as well --- src/runtime/c/pgf/reasoner.h | 10 ++++++++++ 1 file changed, 10 insertions(+) (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 21dcd6997..a08a94cda 100644 --- a/src/runtime/c/pgf/reasoner.h +++ b/src/runtime/c/pgf/reasoner.h @@ -29,6 +29,7 @@ struct PgfReasoner { PgfAbswersMap* table; GuBuf* pqueue; GuBuf* exprs; + size_t n_reported_exprs; PgfClosure* start; PgfEvalGates* eval_gates; // cached from pgf->abstr->eval_gates GuExn* err; @@ -135,6 +136,15 @@ pgf_reasoner_complete(PgfReasoner* rs, PgfExprState* st); void pgf_reasoner_try_constant(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun); +void +pgf_reasoner_mk_string(PgfReasoner* rs, PgfExprState* parent); + +void +pgf_reasoner_mk_int(PgfReasoner* rs, PgfExprState* parent); + +void +pgf_reasoner_mk_float(PgfReasoner* rs, PgfExprState* parent); + PgfClosure* pgf_evaluate_expr_thunk(PgfReasoner* rs, PgfExprThunk* thunk); -- cgit v1.2.3