CBMC
Classes | Static Public Attributes | List of all members
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 20 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 34 of file smt_array_theory.h.

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