//////////////////////////////////////////////////////////////
//Exclude v if in set, nop otherwise
public void exclude(VariableSet vs)
{
foreach (var v in vs.value.Values)
{
exclude(v);
}
}
//////////////////////////////////////////////////////////////
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);
}
