org.eclipse.viatra.query.runtime.matchers.context

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 Type	Method and Description
boolean	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.

Method Detail

isLessOrEqual

boolean 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.

Parameters:

left - the first tuple of poset elements

right - the second tuple of poset elements

Returns:

true if left is smaller or equal to right, false otherwise