@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException, IllegalArgumentException { if (lhs == null) { throw new IllegalArgumentException("lhs == null"); } if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } BitVectorVariable U = new BitVectorVariable(); BitVectorIntSet bv = new BitVectorIntSet(); bv.addAll(rhs.getValue()); bv.removeAll(v); U.addAll(bv.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException, IllegalArgumentException { if (lhs == null) { throw new IllegalArgumentException("lhs == null"); } if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } BitVectorVariable U = new BitVectorVariable(); BitVectorIntSet bv = new BitVectorIntSet(); bv.addAll(rhs.getValue()); bv.removeAll(v); U.addAll(bv.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException, IllegalArgumentException { if (lhs == null) { throw new IllegalArgumentException("lhs == null"); } if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } BitVectorVariable U = new BitVectorVariable(); BitVectorIntSet bv = new BitVectorIntSet(); bv.addAll(rhs.getValue()); bv.removeAll(v); U.addAll(bv.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException { if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } BitVectorVariable U = new BitVectorVariable(); U.copyState(lhs); IntSet r = rhs.getValue(); if (r == null) { return NOT_CHANGED; } BitVectorIntSet rr = new BitVectorIntSet(); rr.addAll(r); rr.removeAll(mask); System.err.println("adding " + rr + " to " + lhs); U.addAll(rr.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException { if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } BitVectorVariable U = new BitVectorVariable(); U.copyState(lhs); IntSet r = rhs.getValue(); if (r == null) { return NOT_CHANGED; } BitVectorIntSet rr = new BitVectorIntSet(); rr.addAll(r); rr.removeAll(mask); System.err.println("adding " + rr + " to " + lhs); U.addAll(rr.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException { if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } BitVectorVariable U = new BitVectorVariable(); U.copyState(lhs); IntSet r = rhs.getValue(); if (r == null) { return NOT_CHANGED; } BitVectorIntSet rr = new BitVectorIntSet(); rr.addAll(r); rr.removeAll(mask); System.err.println("adding " + rr + " to " + lhs); U.addAll(rr.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException { if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } if (lhs == null) { throw new IllegalArgumentException("lhs == null"); } BitVectorVariable U = new BitVectorVariable(); BitVectorIntSet bv = new BitVectorIntSet(); if (rhs.getValue() != null) { bv.addAll(rhs.getValue()); } bv.removeAll(kill); bv.addAll(gen); U.addAll(bv.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException { if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } if (lhs == null) { throw new IllegalArgumentException("lhs == null"); } BitVectorVariable U = new BitVectorVariable(); BitVectorIntSet bv = new BitVectorIntSet(); if (rhs.getValue() != null) { bv.addAll(rhs.getValue()); } bv.removeAll(kill); bv.addAll(gen); U.addAll(bv.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
@Override public byte evaluate(BitVectorVariable lhs, BitVectorVariable rhs) throws IllegalArgumentException { if (rhs == null) { throw new IllegalArgumentException("rhs == null"); } if (lhs == null) { throw new IllegalArgumentException("lhs == null"); } BitVectorVariable U = new BitVectorVariable(); BitVectorIntSet bv = new BitVectorIntSet(); if (rhs.getValue() != null) { bv.addAll(rhs.getValue()); } bv.removeAll(kill); bv.addAll(gen); U.addAll(bv.getBitVector()); if (!lhs.sameValue(U)) { lhs.copyState(U); return CHANGED; } else { return NOT_CHANGED; } }
return bits.getBitVector();
return bits.getBitVector();