@eagleoutice/flowr - v2.13.14
Preparing search index...
src/abstract-interpretation/domains/value-abstract-domain
SetComparator
Enumeration SetComparator
Represents the different types of set comparators for satisfiability checks for an abstract domain.
Index
Enumeration Members
Equal
Intersect
No
Intersect
Subset
Subset
Or
Equal
Enumeration Members
Equal
Equal
:
0
Intersect
Intersect
:
3
No
Intersect
NoIntersect
:
4
Subset
Subset
:
1
Subset
Or
Equal
SubsetOrEqual
:
2
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Enumeration Members
Equal
Intersect
No
Intersect
Subset
Subset
Or
Equal
@eagleoutice/flowr - v2.13.14
Loading...
Represents the different types of set comparators for satisfiability checks for an abstract domain.