smt_solver_baset::flat_storet Struct Reference

One element update an array with denotes, as an index into the array's flattened form and the value stored there. More...

#include <smt_solver.h>

Public Attributes
expr2tc	index
expr2tc	value

Detailed Description

One element update an array with denotes, as an index into the array's flattened form and the value stored there.

Member Data Documentation

index

expr2tc smt_solver_baset::flat_storet::index

value

expr2tc smt_solver_baset::flat_storet::value

---

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

• src/solvers/smt/smt_solver.h