msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

pgf_generate_all now works with literals as well

Browse Source
This commit is contained in:
krasimir
2016-05-25 09:36:05 +00:00
parent 41a3054e9b
commit faebebc8f4
3 changed files with 133 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/runtime/c/pgf/reasoner.h
View File

@@ -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);