Class Block5Max

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.function.BiPredicate<BlockingContext,​openllet.aterm.ATermAppl> _maxBlock  
    • Constructor Summary

      Constructors 
      Constructor Description
      Block5Max()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean isBlocked​(BlockingContext cxt)
      Check if the _blocker candidate in this context actually blocks the other _individual.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • _maxBlock

        public static java.util.function.BiPredicate<BlockingContext,​openllet.aterm.ATermAppl> _maxBlock
    • Constructor Detail

      • Block5Max

        public Block5Max()
    • Method Detail

      • isBlocked

        public boolean isBlocked​(BlockingContext cxt)
        Description copied from interface: BlockingCondition
        Check if the _blocker candidate in this context actually blocks the other _individual.
        Specified by:
        isBlocked in interface BlockingCondition
        Parameters:
        cxt - the _current blocking context
        Returns:
        true if the _individual is _blocked