sparql-view-unfold
    Preparing search index...

    What comes of meeting the two pins a group is asked to carry at once: the pin it is left with, plus what meeting them entailed about other groups. A meet no value satisfies is reported as false instead.

    interface PinMeet<Term> {
        entailed: GroupConstraint<Term>[];
        pin: Pin<Term>;
    }

    Type Parameters

    • Term
    Index

    Properties

    Properties

    entailed: GroupConstraint<Term>[]

    What meeting the two entailed, for the work list to establish in turn.

    pin: Pin<Term>

    The pin the group keeps - the more informative of the two.