Changeset 595 for CMT/HEAD/source/cmt_generator.h

Timestamp:

Dec 9, 2011, 1:45:45 PM (12 years ago)

Author:

rybkin

Message:

See C.L. 472

File:

• CMT/HEAD/source/cmt_generator.h (modified) (4 diffs)

CMT/HEAD/source/cmt_generator.h

@@ -138 +138 @@
 {
  public:
-  InGenerator (bool usecmt);
+  InGenerator (bool usecmt, bool pedantic);
   int build (const Constituent& constituent, ostream& out = cout);
   
@@ -152 +152 @@
     int print (ostream& s);
     void set_uses (bool usecmt);
+    void set_pedantic (bool pedantic);
   private:
     virtual int initialize () = 0;
@@ -160 +161 @@
     bool m_initialized;
     bool m_usecmt;
+    bool m_pedantic;
   };
   
@@ -182 +184 @@
   Languages m_languages;
   bool m_usecmt;
+  bool m_pedantic;
 };