Analyzer::Assume Struct Reference

#include <analyzer.h>

Public Types
enum	Flags { None = 0 , Quiet = (1 << 0) , Absolute = (1 << 1) , ContainerEmpty = (1 << 2) }

Detailed Description

Definition at line 151 of file analyzer.h.

Member Enumeration Documentation

Flags

enum Analyzer::Assume::Flags

Enumerator
None
Quiet
Absolute
ContainerEmpty

Definition at line 152 of file analyzer.h.

---

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

• analyzer.h