Block3Max (Openllet :: Core 2.6.5 API)

java.lang.Object
- openllet.core.tableau.blocking.Block3Max

All Implemented Interfaces:: BlockingCondition

public class Block3Max
extends java.lang.Object
implements BlockingCondition

Author:: Evren Sirin

Field Summary

Fields
Modifier and Type Field Description

static java.util.function.BiPredicate<BlockingContext,openllet.aterm.ATermAppl> _typeAndRSuccessorN

Constructor Summary

Constructors
Constructor Description

Block3Max()

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
  - _typeAndRSuccessorN
```
public static java.util.function.BiPredicate<BlockingContext,openllet.aterm.ATermAppl> _typeAndRSuccessorN
```
- Constructor Detail
  - Block3Max
```
public Block3Max()
```
- 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