C++ (Cpp) init_file_lexerの例

コード例 #1

/*
 * Lexer initialization
 */
int32_t init_yices_file_lexer(lexer_t *lex, char *filename) {
  init_token2string();
  return init_file_lexer(lex, filename);
}

コード例 #2

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

/*
 * Lexer initialization
 */
int32_t init_smt2_file_lexer(lexer_t *lex, const char *filename) {
  smt2_activate_default();
  return init_file_lexer(lex, filename);
}