scanner.h

 
#pragma once
 
#ifndef __DLINEAR_VNNLIB_SCANNER_H__
#define yyFlexLexer VnnlibFlexLexer
#include <FlexLexer.h>
#undef yyFlexLexer
#endif
 
#ifdef DLINEAR_PYDLINEAR
#include "pydlinear/interrupt.h"
#endif
 
#include "dlinear/parser/vnnlib/Sort.h"
#include "dlinear/parser/vnnlib/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/vnnlib/parser.yy.hpp"
 
namespace dlinear::vnnlib {
 
class VnnlibScanner : public VnnlibFlexLexer {
 public:
  explicit VnnlibScanner(std::istream *arg_yyin = nullptr, std::ostream *arg_yyout = nullptr);
 
  VnnlibScanner(const VnnlibScanner &) = delete;
  VnnlibScanner(VnnlibScanner &&) = delete;
  VnnlibScanner &operator=(const VnnlibScanner &) = delete;
  VnnlibScanner &operator=(VnnlibScanner &&) = delete;
 
  ~VnnlibScanner() override;
 
  virtual VnnlibParser::token_type lex(VnnlibParser::semantic_type *yylval, VnnlibParser::location_type *yylloc);
 
  void set_debug(bool b);
};
 
}  // namespace dlinear::vnnlib