diff options
Diffstat (limited to 'src/runtime/c/pgf/reasoner.c')
| -rw-r--r-- | src/runtime/c/pgf/reasoner.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/reasoner.c b/src/runtime/c/pgf/reasoner.c index 3e5c64692..179933e91 100644 --- a/src/runtime/c/pgf/reasoner.c +++ b/src/runtime/c/pgf/reasoner.c @@ -40,7 +40,7 @@ struct PgfExprState { typedef struct { // base must be the first field in order to be able to cast - // from PgfCombine2State to PgfReasonerState + // from PgfCombine1State to PgfReasonerState PgfReasonerState base; GuBuf* exprs; PgfExprState* parent; @@ -331,6 +331,13 @@ pgf_complete(PgfReasoner* rs, PgfExprState* st) nst->base.continuation(rs, &nst->base); } +void +pgf_try_constant(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun) +{ + pgf_try_else(rs, prev, absfun); + pgf_complete(rs, prev); +} + static PgfExprProb* pgf_reasoner_next(PgfReasoner* rs) { |