PptTopLevel.Stats

Object
- Stats

Enclosing class:

PptTopLevel
```
public static class PptTopLevel.Stats
extends Object
```
Stores various statistics about a ppt.

Field Summary

Fields
Modifier and Type	Field	Description
`static boolean`	`cnt_inv_classes`
`int`	`instantiated_inv_cnt`	number of instantiated invariants before the sample is applied
`int`	`instantiated_slice_cnt`	number of instantiated slices
`int`	`inv_cnt`	number of invariants
`long`	`memory`	additional memory (bytes) allocated to processing this sample
`@MonotonicNonNull PptTopLevel`	`ppt`	program point of the stat
`int`	`sample_cnt`	sample count
`int`	`set_cnt`	number of equality sets
`static boolean`	`show_invs`
`static boolean`	`show_tern_slices`
`int`	`slice_cnt`	number of slices
`int`	`time`	time (milliseconds) to process this sample
`int`	`var_cnt`	total number of variables in all equality sets

Constructor Summary

Constructors
Constructor Description

Stats()

Method Summary
- Methods inherited from class Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - sample_cnt
```
public int sample_cnt
```
    sample count
  - set_cnt
```
public int set_cnt
```
    number of equality sets
  - var_cnt
```
public int var_cnt
```
    total number of variables in all equality sets
  - time
```
public int time
```
    time (milliseconds) to process this sample
  - memory
```
public long memory
```
    additional memory (bytes) allocated to processing this sample
  - inv_cnt
```
public int inv_cnt
```
    number of invariants
  - slice_cnt
```
public int slice_cnt
```
    number of slices
  - instantiated_inv_cnt
```
public int instantiated_inv_cnt
```
    number of instantiated invariants before the sample is applied
  - instantiated_slice_cnt
```
public int instantiated_slice_cnt
```
    number of instantiated slices
  - ppt
```
public @MonotonicNonNull PptTopLevel ppt
```
    program point of the stat
  - cnt_inv_classes
```
public static boolean cnt_inv_classes
```
  - show_invs
```
public static boolean show_invs
```
  - show_tern_slices
```
public static boolean show_tern_slices
```
- Constructor Detail
  - Stats
```
public Stats()
```