#include <region-model.h>

Public Member Functions
	purge_stats ()

Data Fields
int	m_num_svalues

int	m_num_regions

int	m_num_equiv_classes

int	m_num_constraints

int	m_num_bounded_ranges_constraints

int	m_num_client_items

Detailed Description

Various operations delete information from a region_model.

This struct tracks how many of each kind of entity were purged (e.g.
for selftests, and for debugging).

Constructor & Destructor Documentation

◆ purge_stats()

ana::purge_stats::purge_stats ( )

inline

Field Documentation

◆ m_num_bounded_ranges_constraints

int ana::purge_stats::m_num_bounded_ranges_constraints

◆ m_num_client_items

int ana::purge_stats::m_num_client_items

◆ m_num_constraints

int ana::purge_stats::m_num_constraints

◆ m_num_equiv_classes

int ana::purge_stats::m_num_equiv_classes

◆ m_num_regions

int ana::purge_stats::m_num_regions

◆ m_num_svalues

int ana::purge_stats::m_num_svalues

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

region-model.h

Public Member Functions

Data Fields