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>