Interface PosetAwareReceiver

    • Method Detail

      • updateWithPosetInfo

        void updateWithPosetInfo​(Direction direction,
                                 Tuple update,
                                 boolean monotone)
        Updates the receiver with a newly found or lost partial matching also providing information whether the update is a monotone change or not.
        Parameters:
        direction - the direction of the update
        update - the update tuple
        monotone - true if the update is monotone, false otherwise
        Since:
        2.4