public final class FilterUnclosedEqualRelations extends java.lang.Object implements Predicate<MemoryAccessStructure>
ADDR_EQUAL
,
TAG_EQUAL
, INDEX_EQUAL
, etc.).
EXAMPLE: Relation TAG_EQUAL(0, 1) && TAG_EQUAL(1, 2)
is unclosed.
It should include TAG_EQUAL(0, 2)
.
EXAMPLE: Relation TAG_REPLACED(0, 1) && TAG_EQUAL(1, 2)
is unclosed.
It should include TAG_REPLACED(0, 2)
.
NOTE: Templates with unclosed equality relations are (1) redundant and (2) may cause problems in constraint solving.
Constructor and Description |
---|
FilterUnclosedEqualRelations() |
Modifier and Type | Method and Description |
---|---|
boolean |
test(MemoryAccessStructure structure) |
public boolean test(MemoryAccessStructure structure)
test
in interface Predicate<MemoryAccessStructure>