js/partition.js
//deselects partitions not in the specified list
deselects partitions not in the specified list
deselects partitions not in the specified list
selectUnion(ps) {
		let toDeselect = [];
		for(let i = 0; i < ps.length; i++)
			ps[i].unionFlagged = true;
		for(let i = 0; i < this.data.length; i++) {
			if(!this.data[i].hasOwnProperty('unionFlagged') || !this.data[i].unionFlagged)
				toDeselect.push(this.data[i]);
		}
		for(let i = 0; i < ps.length; i++)
			delete ps[i].unionFlagged;
		this.deselect(toDeselect);
	}
selectUnion ( ps ) { let toDeselect = [ ] ; for ( let i = 0 ; i < ps . length ; i ++ ) ps [ i ] . unionFlagged = true ; for ( let i = 0 ; i < this . data . length ; i ++ ) { if ( ! this . data [ i ] . hasOwnProperty ( 'unionFlagged' ) || ! this . data [ i ] . unionFlagged ) toDeselect . push ( this . data [ i ] ) ; } for ( let i = 0 ; i < ps . length ; i ++ ) delete ps [ i ] . unionFlagged ; this . deselect ( toDeselect ) ; }
deselects partitions not in the specified list
deselects partitions not in the specified list