C++ (Cpp) init_stream_lexerの例

コード例 #1

void init_yices_stream_lexer(lexer_t *lex, FILE *f, char *name) {
  init_token2string();
  init_stream_lexer(lex, f, name);
}

コード例 #2

ファイル: smt2_lexer.c プロジェクト: polazarus/ocamlyices2

void init_smt2_stream_lexer(lexer_t *lex, FILE *f, const char *name) {
  smt2_activate_default();
  init_stream_lexer(lex, f, name);
}