Broadway Class Reference

#include <broadway.h>

Public Types
enum	Operator {   And,   Or,   Not,   Is_Exactly,   Is_AtLeast,   Could_Be,   Is_AtMost,   Is_Bottom,   Report,   Evaluate,   Is_Constant,   Is_AliasOf,   Is_SameAs,   Is_Empty,   Assign,   Is_Element_Of,   Is_EmptySet,   Add_Elements,   Is_Equivalent,   Add_Equivalences }
	Kinds of operators. More...
enum	FlowSensitivity {   None,   Before,   After,   Always,   Ever,   Trace,   Confidence }
	Flow sensitivity modes. More...

Detailed Description

Definition at line 54 of file broadway.h.

Member Enumeration Documentation

enum Broadway::Operator

Kinds of operators.

Enumerator
And
Or
Not
Is_Exactly
Is_AtLeast
Could_Be
Is_AtMost
Is_Bottom
Report
Evaluate
Is_Constant
Is_AliasOf
Is_SameAs
Is_Empty
Assign
Is_Element_Of
Is_EmptySet
Add_Elements
Is_Equivalent
Add_Equivalences

Definition at line 60 of file broadway.h.

enum Broadway::FlowSensitivity

Flow sensitivity modes.

Enumerator
None
Before
After
Always
Ever
Trace
Confidence

Definition at line 72 of file broadway.h.

---

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

• broadway.h