index_set_pairt Struct Reference

#include <string_refinement_util.h>

Collaboration diagram for index_set_pairt:

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

Detailed Description

Definition at line 53 of file string_refinement_util.h.

Member Data Documentation

cumulative

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

Definition at line 55 of file string_refinement_util.h.

current

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

Definition at line 56 of file string_refinement_util.h.

---

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

• solvers/refinement/string_refinement_util.h