summaryrefslogtreecommitdiff
path: root/src/forest_writer.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/forest_writer.h')
-rw-r--r--src/forest_writer.h16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/forest_writer.h b/src/forest_writer.h
new file mode 100644
index 00000000..819a8940
--- /dev/null
+++ b/src/forest_writer.h
@@ -0,0 +1,16 @@
+#ifndef _FOREST_WRITER_H_
+#define _FOREST_WRITER_H_
+
+#include <string>
+
+class Hypergraph;
+
+struct ForestWriter {
+ ForestWriter(const std::string& path, int num);
+ bool Write(const Hypergraph& forest, bool minimal_rules);
+
+ const std::string fname_;
+ bool used_;
+};
+
+#endif