symtab_entryt Struct Reference

#include <smt_solver.h>

Public Member Functions
	symtab_entryt (std::string val, smt_astt ast, unsigned int level)

Public Attributes
std::string	val
smt_astt	ast
unsigned int	level

Constructor & Destructor Documentation

symtab_entryt()

symtab_entryt::symtab_entryt ( std::string val, smt_astt ast, unsigned int level )

inline

Member Data Documentation

ast

smt_astt symtab_entryt::ast

level

unsigned int symtab_entryt::level

val

std::string symtab_entryt::val

---

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

• src/solvers/smt/smt_solver.h