public DependencyPTGDomain(DependencyDomain dependencies, SimplePointsToGraph ptg, RangeDomain itState, RangeDomain blockState)
{
Dependencies = dependencies;
PTG = ptg;
IteratorState = itState;
BlockState = blockState;
}
public void AddValue(IVariable v, RangeDomain value)
{
if (variableRange.ContainsKey(v))
{
variableRange[v] = variableRange[v].Join(value);
}
else
{
variableRange[v] = value;
}
}
public void SetValue(IVariable var, RangeDomain value)
{
this.variableRange[var] = value;
}
public void AssignValue(IVariable v, RangeDomain value)
{
variableRange[v] = value;
}
