mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-19 17:59:32 -06:00
23 lines
585 B
C
23 lines
585 B
C
#ifndef PGF_REASONER_H_
|
|
#define PGF_REASONER_H_
|
|
|
|
typedef struct PgfReasoner PgfReasoner;
|
|
typedef struct PgfReasonerState PgfReasonerState;
|
|
typedef struct PgfExprState PgfExprState;
|
|
|
|
typedef void (*PgfPredicate)(PgfReasoner* rs, PgfReasonerState* st);
|
|
|
|
void
|
|
pgf_reasoner_try_first(PgfReasoner* rs, PgfExprState* parent, PgfAbsFun* absfun);
|
|
|
|
void
|
|
pgf_reasoner_try_else(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun);
|
|
|
|
void
|
|
pgf_reasoner_complete(PgfReasoner* rs, PgfExprState* st);
|
|
|
|
void
|
|
pgf_reasoner_try_constant(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun);
|
|
|
|
#endif
|