cprover
smt1_dect::valuet Struct Reference

#include <smt1_dec.h>

Collaboration diagram for smt1_dect::valuet:
[legend]

Public Types

typedef std::map< std::string, std::string > index_value_mapt
 

Public Attributes

index_value_mapt index_value_map
 
std::string value
 

Detailed Description

Definition at line 66 of file smt1_dec.h.

Member Typedef Documentation

◆ index_value_mapt

typedef std::map<std::string, std::string> smt1_dect::valuet::index_value_mapt

Definition at line 69 of file smt1_dec.h.

Member Data Documentation

◆ index_value_map

index_value_mapt smt1_dect::valuet::index_value_map

Definition at line 70 of file smt1_dec.h.

Referenced by smt1_dect::read_result_boolector().

◆ value

std::string smt1_dect::valuet::value

Definition at line 71 of file smt1_dec.h.

Referenced by smt1_dect::read_result_boolector().


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