public final class FilterVaEqualPaNotEqual extends java.lang.Object implements BiPredicate<MemoryAccess,MemoryUnitedDependency>
ADDR_EQUAL
is set for the virtual address and
ADDR_NOT_EQUAL
is set for the physical address.
NOTE: Such test templates are unsatisfiable.
Constructor and Description |
---|
FilterVaEqualPaNotEqual() |
Modifier and Type | Method and Description |
---|---|
boolean |
test(MemoryAccess access,
MemoryUnitedDependency dependency) |
public boolean test(MemoryAccess access, MemoryUnitedDependency dependency)
test
in interface BiPredicate<MemoryAccess,MemoryUnitedDependency>