smtlib_convt::symbol_table_rec Struct Reference

#include <smtlib_conv.h>

Public Attributes
std::string	ident
unsigned int	level
smt_sortt	sort

Member Data Documentation

ident

std::string smtlib_convt::symbol_table_rec::ident

level

unsigned int smtlib_convt::symbol_table_rec::level

sort

smt_sortt smtlib_convt::symbol_table_rec::sort

---

The documentation for this struct was generated from the following file:

• src/solvers/smtlib/smtlib_conv.h