smt_solver_baset::smt_cache_entryt Struct Reference

#include <smt_solver.h>

Public Attributes
const expr2tc	val
smt_astt	ast
unsigned int	level

Member Data Documentation

ast

smt_astt smt_solver_baset::smt_cache_entryt::ast

level

unsigned int smt_solver_baset::smt_cache_entryt::level

val

const expr2tc smt_solver_baset::smt_cache_entryt::val

---

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

• src/solvers/smt/smt_solver.h