cprover
index_set_pairt Struct Reference

#include <string_refinement_util.h>

Collaboration diagram for index_set_pairt:
[legend]

Public Attributes

std::map< exprt, std::set< exprt > > cumulative
 
std::map< exprt, std::set< exprt > > current
 

Detailed Description

Definition at line 51 of file string_refinement_util.h.

Member Data Documentation

◆ cumulative

std::map<exprt, std::set<exprt> > index_set_pairt::cumulative

Definition at line 53 of file string_refinement_util.h.

Referenced by add_to_index_set(), display_index_set(), and instantiate().

◆ current

std::map<exprt, std::set<exprt> > index_set_pairt::current

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