diff src/ploki/mars.h @ 4223:ac0403686959

<oerjan> rm -rf src/ploki; mv ploki src
author HackBot
date Fri, 20 Dec 2013 22:18:50 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/ploki/mars.h	Fri Dec 20 22:18:50 2013 +0000
@@ -0,0 +1,21 @@
+#ifndef MARS_H_
+#define MARS_H_
+
+#include "Str.h"
+#include "op.h"
+
+#include <stddef.h>
+
+struct mars {
+	size_t size, length;
+	struct mars **table;
+	struct op *data;
+};
+
+void ma_init(struct mars *);
+void ma_end(struct mars *);
+int ma_enter(struct mars *, const String *, struct op *);
+int ma_exists(const struct mars *, const String *);
+struct op *ma_find(const struct mars *, String *);
+
+#endif /* MARS_H_ */