cprover
Loading...
Searching...
No Matches
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< selecttselect {}
static const smt_function_application_termt::factoryt< storetstore {}

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: