public final class FilterNonReplaceableTagEqual extends java.lang.Object implements TriPredicate<MemoryAccess,MemoryAccess,BufferHazard.Instance>
TAG_EQUAL
is specified for a non-replaceable device
D
and execution1.getEvent(D) != execution2.getEvent(D)
.
NOTE: Such test templates are unsatisfiable.
Constructor and Description |
---|
FilterNonReplaceableTagEqual() |
Modifier and Type | Method and Description |
---|---|
boolean |
test(MemoryAccess access1,
MemoryAccess access2,
BufferHazard.Instance hazard) |
public boolean test(MemoryAccess access1, MemoryAccess access2, BufferHazard.Instance hazard)
test
in interface TriPredicate<MemoryAccess,MemoryAccess,BufferHazard.Instance>