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)); }