internal PropagationInfo PropagateTo(PropagationInfo childPropagation)
{
var merged = new HashSet <string>(Targets);
merged.UnionWith(childPropagation.Targets);
return(new PropagationInfo(merged.ToArray()));
}
private void setPropagation(ReadWriteSnapshotEntryBase variable, PropagationInfo propagation)
{
var infoValue = Output.CreateInfo(propagation);
variable.WriteMemory(Output, new MemoryEntry(infoValue));
}
