diff options
Diffstat (limited to 'src/runtime/c/pgf')
| -rw-r--r-- | src/runtime/c/pgf/hopu.c | 10 | ||||
| -rw-r--r-- | src/runtime/c/pgf/hopu.h | 7 |
2 files changed, 17 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/hopu.c b/src/runtime/c/pgf/hopu.c new file mode 100644 index 000000000..5767feac0 --- /dev/null +++ b/src/runtime/c/pgf/hopu.c @@ -0,0 +1,10 @@ +#include "data.h" +#include "evaluator.h" +#include "hopu.h" + +void pgf_pattern_unify(PgfEvalState* state, PgfClosure* c1, PgfClosure* c2) +{ + c1 = state->eval_gates->enter(state, c1); + c2 = state->eval_gates->enter(state, c2); +} + diff --git a/src/runtime/c/pgf/hopu.h b/src/runtime/c/pgf/hopu.h new file mode 100644 index 000000000..e012a3630 --- /dev/null +++ b/src/runtime/c/pgf/hopu.h @@ -0,0 +1,7 @@ +#ifndef HOPU_H +#define HOPU_H + +void pgf_pattern_unify(PgfEvalState* state, PgfClosure* c1, PgfClosure* c2); + +#endif + |
