diff options
Diffstat (limited to 'src/forest_writer.h')
-rw-r--r-- | src/forest_writer.h | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/forest_writer.h b/src/forest_writer.h deleted file mode 100644 index 819a8940..00000000 --- a/src/forest_writer.h +++ /dev/null @@ -1,16 +0,0 @@ -#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 |