////////////////////////////////////////////////////////////// internal VariableSet clone() { var result = new VariableSet(); foreach (var v in value.Values) { result.include(v); } return(result); }
public VariableSet getIntersectionWith(VariableSet other) { var result = new VariableSet(); foreach (var v in value.Values) { if (other.has(v)) { result.include(v); } } return(result); }