public static ReadWriteVectorDomain FromSameElement(ReadWriteDomain element, int n)
{
var isRead = new IntSet(n);
if (element.IsRead)
{
isRead.SetAll(true);
}
var isWrite = new IntSet(n);
if (element.IsWrite)
{
isWrite.SetAll(true);
}
return(new ReadWriteVectorDomain(isRead, isWrite));
}
public static ReadWriteVectorDomain FromSameElementExcept(ReadWriteDomain element, int n, ReadWriteDomain specific, int index)
{
var isRead = new IntSet(n);
if (element.IsRead)
{
isRead.SetAll(true);
}
var isWrite = new IntSet(n);
if (element.IsWrite)
{
isWrite.SetAll(true);
}
isRead[index] = specific.IsRead;
isWrite[index] = specific.IsWrite;
return(new ReadWriteVectorDomain(isRead, isWrite));
}
