public class StatementEquivalenceConstraint extends DefaultEquivalenceConstraint
Modifier and Type | Field and Description |
---|---|
private SSAIdentifiers<LValue> |
ident1 |
private SSAIdentifiers<LValue> |
ident2 |
INSTANCE
Constructor and Description |
---|
StatementEquivalenceConstraint(Op03SimpleStatement stm1,
Op03SimpleStatement stm2) |
Modifier and Type | Method and Description |
---|---|
boolean |
equivalent(ComparableUnderEC o1,
ComparableUnderEC o2) |
equivalent, equivalent
private final SSAIdentifiers<LValue> ident1
private final SSAIdentifiers<LValue> ident2
public StatementEquivalenceConstraint(Op03SimpleStatement stm1, Op03SimpleStatement stm2)
public boolean equivalent(ComparableUnderEC o1, ComparableUnderEC o2)
equivalent
in interface EquivalenceConstraint
equivalent
in class DefaultEquivalenceConstraint