smt_array_theoryt Class Reference

#include <smt_array_theory.h>

Collaboration diagram for smt_array_theoryt:

Classes
struct	selectt
struct	storet

Static Public Attributes
static const smt_function_application_termt::factoryt< selectt >	select {}
static const smt_function_application_termt::factoryt< storet >	store {}

Detailed Description

Definition at line 8 of file smt_array_theory.h.

Member Data Documentation

select

const smt_function_application_termt::factoryt< smt_array_theoryt::selectt > smt_array_theoryt::select {}

static

Definition at line 38 of file smt_array_theory.h.

store

const smt_function_application_termt::factoryt< smt_array_theoryt::storet > smt_array_theoryt::store {}

static

Definition at line 67 of file smt_array_theory.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/solvers/smt2_incremental/theories/smt_array_theory.h
• /home/runner/work/cbmc/cbmc/src/solvers/smt2_incremental/theories/smt_array_theory.cpp