public final class FilterNonReplaceableTagEqual extends java.lang.Object implements TriPredicate<MemoryAccess,MemoryAccess,MemoryHazard>
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,
MemoryHazard hazard) |
public boolean test(MemoryAccess access1, MemoryAccess access2, MemoryHazard hazard)
test in interface TriPredicate<MemoryAccess,MemoryAccess,MemoryHazard>