Class Quantifier.Existential

  • All Implemented Interfaces:
    Bindable
    Enclosing class:
    Quantifier

    public static final class Quantifier.Existential
    extends Quantifier
    A quantifier that conceptually flows exactly one item containing a boolean to the owning expression indicating whether the subgraph that the quantifier ranges over produced a non-empty or an empty result. When the semantics of this quantifiers are realized in an execution strategy that strategy should facilitate a boolean "short-circuit" mechanism as the result will be true as soon as the subgraph produces the first item.
    • Method Detail

      • getShorthand

        @Nonnull
        public String getShorthand()
        Description copied from class: Quantifier
        Return a short hand string for the quantifier. As a quantifier's semantics is usually quite subtle and should not distract from expressions. For example, when a data flow is visualized the returned string should be short.
        Specified by:
        getShorthand in class Quantifier
        Returns:
        a short string representing the quantifier.