smt2_tokenizer.cpp File Reference

Implementation of the SMT-LIB v2.6 tokenizer; see smt2_tokenizer.h for the corresponding interface. More...

#include "smt2_tokenizer.h"

Include dependency graph for smt2_tokenizer.cpp:

Go to the source code of this file.

Functions
bool	is_smt2_simple_symbol_character (char ch)

Detailed Description

Implementation of the SMT-LIB v2.6 tokenizer; see smt2_tokenizer.h for the corresponding interface.

Definition in file smt2_tokenizer.cpp.

Function Documentation

is_smt2_simple_symbol_character()

bool is_smt2_simple_symbol_character

(

char

ch

)

Definition at line 15 of file smt2_tokenizer.cpp.