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