cprover
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 60 of file string_refinement_util.h.

Member Data Documentation

◆ cumulative

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

Definition at line 62 of file string_refinement_util.h.

◆ current

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

Definition at line 63 of file string_refinement_util.h.


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