scanner.h

 
#pragma once
 
#ifndef __DLINEAR_SMT2_SCANNER_H__
#define yyFlexLexer Smt2FlexLexer
#include <FlexLexer.h>
#undef yyFlexLexer
#endif
 
#ifdef DLINEAR_PYDLINEAR
#include "pydlinear/interrupt.h"
#endif
 
#include "dlinear/parser/smt2/Sort.h"
#include "dlinear/parser/smt2/Term.h"
#include "dlinear/symbolic/symbolic.h"
#include "dlinear/util/Box.h"
// The following include should come after all the previous ones.
// Do not alpha-sort them.
#include "dlinear/parser/smt2/parser.yy.hpp"
 
namespace dlinear::smt2 {
 
class Smt2Scanner : public Smt2FlexLexer {
 public:
  explicit Smt2Scanner(std::istream *arg_yyin = nullptr, std::ostream *arg_yyout = nullptr);
 
  Smt2Scanner(const Smt2Scanner &) = delete;
  Smt2Scanner(Smt2Scanner &&) = delete;
  Smt2Scanner &operator=(const Smt2Scanner &) = delete;
  Smt2Scanner &operator=(Smt2Scanner &&) = delete;
 
  ~Smt2Scanner() override;
 
  virtual Smt2Parser::token_type lex(Smt2Parser::semantic_type *yylval, Smt2Parser::location_type *yylloc);
 
  void set_debug(bool b);
};
 
}  // namespace dlinear::smt2