cprover
Loading...
Searching...
No Matches
smt2_tokenizer.h File Reference
#include <sstream>
#include <string>
Include dependency graph for smt2_tokenizer.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  smt2_tokenizert
class  smt2_tokenizert::smt2_errort

Functions

template<typename T>
smt2_tokenizert::smt2_errort operator<< (smt2_tokenizert::smt2_errort &&e, const T &message)
 add to the diagnostic information in the given smt2_tokenizer exception
bool is_smt2_simple_symbol_character (char)

Function Documentation

◆ is_smt2_simple_symbol_character()

bool is_smt2_simple_symbol_character ( char ch)

Definition at line 11 of file smt2_tokenizer.cpp.

◆ operator<<()

template<typename T>
smt2_tokenizert::smt2_errort operator<< ( smt2_tokenizert::smt2_errort && e,
const T & message )

add to the diagnostic information in the given smt2_tokenizer exception

Definition at line 139 of file smt2_tokenizer.h.