diff options
| author | krasimir <krasimir@chalmers.se> | 2016-05-25 09:36:05 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2016-05-25 09:36:05 +0000 |
| commit | faebebc8f4b4587c9c1849e20473ef9ef6678ded (patch) | |
| tree | 4f3cc25fac14432315630ba5ca8235591c717769 /src/runtime/c/pgf/reasoner.h | |
| parent | 41a3054e9be03f7496fdbe7d0716e7986524bb35 (diff) | |
pgf_generate_all now works with literals as well
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); |