public boolean orAndAndNot(SharedBitSet orset, SharedBitSet andset, SharedBitSet andnotset) { acquire(); boolean ret = value.orAndAndNot(orset.value, andset.value, andnotset.value); canonicalize(); return ret; }
public boolean orAndAndNot(SharedBitSet orset, BitVector andset, SharedBitSet andnotset) { acquire(); boolean ret = value.orAndAndNot(orset.value, andset, andnotset == null ? null : andnotset.value); canonicalize(); return ret; }
private final boolean nativeAddAll(BitPointsToSet other, BitPointsToSet exclude) { BitVector mask = null; TypeManager typeManager = pag.getTypeManager(); if (!typeManager.castNeverFails(other.getType(), this.getType())) { mask = typeManager.get(this.getType()); } BitVector obits = (other == null ? null : other.bits); BitVector ebits = (exclude == null ? null : exclude.bits); boolean ret = bits.orAndAndNot(obits, mask, ebits); if (ret) { empty = false; } return ret; }
private boolean nativeAddAll(HybridPointsToSet other, HybridPointsToSet exclude) { boolean ret = false; TypeManager typeManager = pag.getTypeManager(); if (other.bits != null) { convertToBits(); if (exclude != null) { exclude.convertToBits(); } BitVector mask = null; if (!typeManager.castNeverFails(other.getType(), this.getType())) { mask = typeManager.get(this.getType()); } BitVector ebits = (exclude == null ? null : exclude.bits); ret = bits.orAndAndNot(other.bits, mask, ebits); } else { for (int i = 0; i < nodes.length; i++) { if (other.nodes[i] == null) { break; } if (exclude == null || !exclude.contains(other.nodes[i])) { ret = add(other.nodes[i]) | ret; } } } if (ret) { empty = false; } return ret; }
public boolean orAndAndNot( SharedBitSet orset, BitVector andset, SharedBitSet andnotset ) { acquire(); boolean ret = value.orAndAndNot( orset.value, andset, andnotset == null ? null : andnotset.value ); canonicalize(); return ret; } public BitSetIterator iterator() {
public boolean orAndAndNot( SharedBitSet orset, SharedBitSet andset, SharedBitSet andnotset ) { acquire(); boolean ret = value.orAndAndNot( orset.value, andset.value, andnotset.value ); canonicalize(); return ret; } public boolean orAndAndNot( SharedBitSet orset, BitVector andset, SharedBitSet andnotset ) {
public boolean orAndAndNot( SharedBitSet orset, BitVector andset, SharedBitSet andnotset ) { acquire(); boolean ret = value.orAndAndNot( orset.value, andset, andnotset == null ? null : andnotset.value ); canonicalize(); return ret; } public BitSetIterator iterator() {
public boolean orAndAndNot( SharedBitSet orset, SharedBitSet andset, SharedBitSet andnotset ) { acquire(); boolean ret = value.orAndAndNot( orset.value, andset.value, andnotset.value ); canonicalize(); return ret; } public boolean orAndAndNot( SharedBitSet orset, BitVector andset, SharedBitSet andnotset ) {