var MAX_CHARACTER = 65535; //================================================================================= // A_and_B //================================================================================= function A_and_B(A,B) { var result; result = new bits$(); while (A.next()) { if (B.test(A.value)) result.turnOn(A.value); } return result; } //================================================================================= // A_not_B //================================================================================= function A_not_B(A, B) { var result; result = new bits$(); while (A.next()) { if (! B.test(A.value)) result.turnOn(A.value); } return result; } //================================================================================= // A_or_B //================================================================================= function A_or_B(A, B) { var result; result = new bits$(); result.or(A); result.or(B); return result; } //================================================================================= // not_A_and_B //================================================================================= function not_A_and_B(A, B) { var result; result = new bits$(); while (A.next()) { if (!B.test(A.value)) result.turnOn(A.value); } while (B.next()) { if (!A.test(B.value)) result.turnOn(B.value); } return result; }