// Copy Constructor
public Exposure(Exposure cState): base(cState)
{
//problems = new Dictionary<Label, string>(cState.problems);
//inconsistentExpr = new Dictionary<Label, Set<VariableEffect>>(cState.inconsistentExpr);
//this.callsToWarn = new Set<Label>(cState.callsToWarn);
}
// Copy Constructor
public Exposure(Exposure cState) : base(cState)
{
//problems = new Dictionary<Label, string>(cState.problems);
//inconsistentExpr = new Dictionary<Label, Set<VariableEffect>>(cState.inconsistentExpr);
//this.callsToWarn = new Set<Label>(cState.callsToWarn);
}
