smt2_tokenizer.cpp File Reference

#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)

Function Documentation

is_smt2_simple_symbol_character()

bool is_smt2_simple_symbol_character

(

char

ch

)

Definition at line 11 of file smt2_tokenizer.cpp.