diff options
Diffstat (limited to 'src/runtime/c/pgf/reasoner.h')
| -rw-r--r-- | src/runtime/c/pgf/reasoner.h | 10 |
1 files changed, 10 insertions, 0 deletions
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); |