Exemple #1
0
 public void AddTrackedPointsToValue(PointsToAbstractValue value)
 => PointsToValues.Add(value);
Exemple #2
0
 public bool IsTrackedPointsToValue(PointsToAbstractValue value)
 => PointsToValues.Contains(value);
Exemple #3
0
 public void Dispose()
 {
     AllEntities.Dispose();
     PointsToValues.Dispose();
 }