/// <summary>
/// Visits the information value location.
/// </summary>
/// <param name="location">The location.</param>
public void VisitInfoValueLocation(InfoValueLocation location)
{
MemoryEntry oldEntry = snapshot.Structure.GetMemoryEntry(location.ContainingIndex);
HashSet <Value> newValues = new HashSet <Value>();
HashSetTools.AddAll(newValues, oldEntry.PossibleValues);
IEnumerable <Value> values = location.WriteValues(snapshot.MemoryAssistant, entry);
newValues.Add(location.Value);
snapshot.Structure.SetMemoryEntry(location.ContainingIndex, new MemoryEntry(newValues));
}
/// <summary>
/// Visits the information value location.
/// </summary>
/// <param name="location">The location.</param>
public void VisitInfoValueLocation(InfoValueLocation location)
{
IEnumerable <Value> values = location.ReadValues(assistant);
ProcessValues(location.ContainingIndex, values, IsMust);
}
/// <summary>
/// Visits the information value location.
/// </summary>
/// <param name="location">The location.</param>
public void VisitInfoValueLocation(InfoValueLocation location)
{
read(location.ContainingIndex);
}
/// <summary>
/// Visits the information value location.
/// </summary>
/// <param name="location">The location.</param>
public void VisitInfoValueLocation(InfoValueLocation location)
{
}