@eagleoutice/flowr - v2.13.1
    Preparing search index...

    Enumeration SetComparator

    Represents the different types of set comparators for satisfiability checks for an abstract domain.

    Index

    Enumeration Members

    Equal Intersect NoIntersect Subset SubsetOrEqual

    Enumeration Members

    Equal: 0
    Intersect: 3
    NoIntersect: 4
    Subset: 1
    SubsetOrEqual: 2

    Settings

    Member Visibility

    On This Page

    Enumeration Members