/** * Return the NOT of a bit string */ public static FixedSizeBitVector not(FixedSizeBitVector s) { FixedSizeBitVector b = new FixedSizeBitVector(s); b.not(); return b; }
/** * Return a new bit string as the AND of two others. */ public static FixedSizeBitVector and(FixedSizeBitVector b1, FixedSizeBitVector b2) { FixedSizeBitVector b = new FixedSizeBitVector(b1); b.and(b2); return b; }
/** * Return the NOT of a bit string */ public static FixedSizeBitVector not(FixedSizeBitVector s) { FixedSizeBitVector b = new FixedSizeBitVector(s); b.not(); return b; }
/** * Return a new FixedSizeBitVector as the OR of two others * * @throws IllegalArgumentException if b2 == null */ public static FixedSizeBitVector or(FixedSizeBitVector b1, FixedSizeBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } FixedSizeBitVector b = new FixedSizeBitVector(b1); b.or(b2); return b; }
/** * Return a new bit string as the AND of two others. */ public static FixedSizeBitVector and(FixedSizeBitVector b1, FixedSizeBitVector b2) { FixedSizeBitVector b = new FixedSizeBitVector(b1); b.and(b2); return b; }
/** * Return the NOT of a bit string */ public static FixedSizeBitVector not(FixedSizeBitVector s) { FixedSizeBitVector b = new FixedSizeBitVector(s); b.not(); return b; }
/** * Return a new bit string as the AND of two others. */ public static FixedSizeBitVector and(FixedSizeBitVector b1, FixedSizeBitVector b2) { FixedSizeBitVector b = new FixedSizeBitVector(b1); b.and(b2); return b; }
/** * Return a new FixedSizeBitVector as the OR of two others * * @throws IllegalArgumentException if b2 == null */ public static FixedSizeBitVector or(FixedSizeBitVector b1, FixedSizeBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } FixedSizeBitVector b = new FixedSizeBitVector(b1); b.or(b2); return b; }
/** * Return a new FixedSizeBitVector as the OR of two others * * @throws IllegalArgumentException if b2 == null */ public static FixedSizeBitVector or(FixedSizeBitVector b1, FixedSizeBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } FixedSizeBitVector b = new FixedSizeBitVector(b1); b.or(b2); return b; }
/** * subclasses must call this before calling addEdge, but after creating the nodes */ protected void init() { normalToExit = new FixedSizeBitVector(getMaxNumber() + 1); exceptionalToExit = new FixedSizeBitVector(getMaxNumber() + 1); fallThru = new FixedSizeBitVector(getMaxNumber() + 1); exit = getNode(getMaxNumber()); }
/** * subclasses must call this before calling addEdge, but after creating the nodes */ protected void init() { normalToExit = new FixedSizeBitVector(getMaxNumber() + 1); exceptionalToExit = new FixedSizeBitVector(getMaxNumber() + 1); fallThru = new FixedSizeBitVector(getMaxNumber() + 1); exit = getNode(getMaxNumber()); }