public bool IsEquivalentTo(RootEnvironment rootEnv, StackEntryState other) { return(Type.IsEquivalentTo(rootEnv, other.Type) && PointsTo.Lte(other.PointsTo) && other.PointsTo.Lte(PointsTo)); }
public bool IsEquivalentTo(RootEnvironment rootEnv, StackEntryState other) { return(Type.IsEquivalentTo(rootEnv, other.Type) && PointsTo.Lte(other.PointsTo) && other.PointsTo.Lte(PointsTo)); }