Public Attributes

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

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

Detailed Description

Definition at line 59 of file string_refinement_util.h.

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

Definition at line 61 of file string_refinement_util.h.

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

Definition at line 62 of file string_refinement_util.h.

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