Package openllet.core.tableau.blocking
Class Block3Max
- 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.
-
-
-
Field Detail
-
_typeAndRSuccessorN
public static java.util.function.BiPredicate<BlockingContext,openllet.aterm.ATermAppl> _typeAndRSuccessorN
-
-
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 interfaceBlockingCondition
- Parameters:
cxt
- the _current blocking context- Returns:
true
if the _individual is _blocked
-
-