mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-11-04 19:25:27 -07:00
forgot to add reasoner.h
This commit is contained in:
1 parent
cf0bc127af
commit
fcd2a2b12a
1 file changed
+22
@@ -0,0 +1,22 @@
|
|||||||
|
#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_try_first(PgfReasoner* rs, PgfExprState* parent, PgfAbsFun* absfun);
|
||||||
|
|
||||||
|
void
|
||||||
|
pgf_try_else(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun);
|
||||||
|
|
||||||
|
void
|
||||||
|
pgf_complete(PgfReasoner* rs, PgfExprState* st);
|
||||||
|
|
||||||
|
void
|
||||||
|
pgf_try_constant(PgfReasoner* rs, PgfExprState* prev, PgfAbsFun* absfun);
|
||||||
|
|
||||||
|
#endif
|
||||||
Reference in new issue
Block a user