1 files changed, 16 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/jit.h b/src/runtime/c/pgf/jit.h
new file mode 100644
index 000000000..eb9d7005e
--- /dev/null
+++ b/src/runtime/c/pgf/jit.h
@@ -0,0 +1,16 @@
+#ifndef PGF_JIT_H_
+#define PGF_JIT_H_
+
+typedef struct PgfJitState PgfJitState;
+
+PgfJitState*
+pgf_jit_init(GuPool* tmp_pool, GuPool* pool);
+
+void
+pgf_jit_done(PgfJitState* state, PgfAbstr* abstr);
+
+void
+pgf_jit_predicate(PgfJitState* state, 
+                  PgfCIdMap* abscats, PgfAbsCat* abscat);
+
+#endif