Interface IPosetComparator
public interface IPosetComparator
Implementations of this interface aid the query engine with the ordering of poset elements. This information is
particularly important in the delete and re-derive evaluation mode because they let the engine identify monotone
change pairs.
- Since:
- 1.6
-
Method Summary
Modifier and TypeMethodDescriptionboolean
isLessOrEqual
(Tuple left, Tuple right) Returns true if the 'left' tuple of poset elements is smaller or equal than the 'right' tuple of poset elements according to the partial order that this poset comparator employs.
-
Method Details
-
isLessOrEqual
Returns true if the 'left' tuple of poset elements is smaller or equal than the 'right' tuple of poset elements according to the partial order that this poset comparator employs.- Parameters:
left
- the left tuple of poset elementsright
- the right tuple of poset elements- Returns:
- true if left is smaller or equal to right, false otherwise
-