1 files changed, 2 insertions, 56 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h
index b43da3548..992ca408a 100644
--- a/src/parser/parser_builder.h
+++ b/src/parser/parser_builder.h
@@ -44,27 +44,9 @@ class Parser;
  */
 class CVC5_EXPORT ParserBuilder
 {
-  enum InputType {
-    FILE_INPUT,
-    STREAM_INPUT,
-    STRING_INPUT
-  };
-
-  /** The input type. */
-  InputType d_inputType;
-
   /** The input language */
   InputLanguage d_lang;
 
-  /** The file name (may not exist) */
-  std::string d_filename;
-
-  /** The string input, if any. */
-  std::string d_stringInput;
-
-  /** The stream input, if any. */
-  std::istream* d_streamInput;
-
   /** The API Solver object. */
   api::Solver* d_solver;
 
@@ -80,9 +62,6 @@ class CVC5_EXPORT ParserBuilder
   /** Should we allow include-file commands? */
   bool d_canIncludeFile;
 
-  /** Should we memory-map a file input? */
-  bool d_mmap;
-
   /** Are we parsing only? */
   bool d_parseOnly;
 
@@ -93,19 +72,14 @@ class CVC5_EXPORT ParserBuilder
   std::string d_forcedLogic;
 
   /** Initialize this parser builder */
-  void init(api::Solver* solver,
-            SymbolManager* sm,
-            const std::string& filename);
+  void init(api::Solver* solver, SymbolManager* sm);
 
  public:
   /** Create a parser builder using the given Solver and filename. */
-  ParserBuilder(api::Solver* solver,
-                SymbolManager* sm,
-                const std::string& filename);
+  ParserBuilder(api::Solver* solver, SymbolManager* sm);
 
   ParserBuilder(api::Solver* solver,
                 SymbolManager* sm,
-                const std::string& filename,
                 const Options& options);
 
   /** Build the parser, using the current settings. */
@@ -114,20 +88,6 @@ class CVC5_EXPORT ParserBuilder
   /** Should semantic checks be enabled in the parser? (Default: yes) */
   ParserBuilder& withChecks(bool flag = true);
 
-  /** Set the Solver to use with the parser. */
-  ParserBuilder& withSolver(api::Solver* solver);
-
-  /** Set the parser to read a file for its input. (Default) */
-  ParserBuilder& withFileInput();
-
-  /**
-   * Set the filename for use by the parser. If file input is used,
-   * this file will be opened and read by the parser. Otherwise, the
-   * filename string (possibly a non-existent path) will only be used
-   * in error messages.
-   */
-  ParserBuilder& withFilename(const std::string& filename);
-
   /**
    * Set the input language to be used by the parser.
    *
@@ -136,14 +96,6 @@ class CVC5_EXPORT ParserBuilder
   ParserBuilder& withInputLanguage(InputLanguage lang);
 
   /**
-   * Should the parser memory-map its input? This is only relevant if
-   * the parser will have a file input.
-   *
-   * (Default: no)
-   */
-  ParserBuilder& withMmap(bool flag = true);
-
-  /**
    * Are we only parsing, or doing something with the resulting
    * commands and expressions?  This setting affects whether the
    * parser will raise certain errors about unimplemented features,
@@ -173,12 +125,6 @@ class CVC5_EXPORT ParserBuilder
    */
   ParserBuilder& withIncludeFile(bool flag = true);
 
-  /** Set the parser to use the given stream for its input. */
-  ParserBuilder& withStreamInput(std::istream& input);
-
-  /** Set the parser to use the given string for its input. */
-  ParserBuilder& withStringInput(const std::string& input);
-
   /** Set the parser to use the given logic string. */
   ParserBuilder& withForcedLogic(const std::string& logic);
 }; /* class ParserBuilder */