home *** CD-ROM | disk | FTP | other *** search
- Test class BitVec
- IntVec I(3,1,2): 1 3 5
- BitVec A(initA,10): 0 1 0 1 0 0 0 0 1 1
- BitVec B(initB,10): 0 0 1 1 0 0 0 0 0 1
- BitVec T(A): 0 1 0 1 0 0 0 0 1 1
- BitVec U(A(0,5,2)): 0 0 0 0 1
- BitVec V(10,YES): 1 1 1 1 1 1 1 1 1 1
- C = U: 0 0 0 0 1
- C = C: 0 0 0 0 1
- C = A(0,5,2): 0 0 0 0 1
- C = A; C = C(0,5,2): 0 0 0 0 1
- C = A[B]: 0 1 1
- C = A; C = C[B]: 0 1 1
- C = A[I]: 1 1 0
- C = A; C = C[I]: 1 1 0
- C = 0: 0 0 0
- C = !A: 1 0 1 0 1 1 1 1 0 0
- C = A|B: 0 1 1 1 0 0 0 0 1 1
- C = A; C ^= B: 0 1 1 0 0 0 0 0 1 0
- C = A; C(0,5,2) = BitVec(5,YES): 1 1 1 1 1 0 1 0 1 1
- C(1,5,2) = C(0,5,2): 1 1 1 1 1 1 1 1 1 1
- C(0,3,1) = A[I]: 1 1 0 1 1 1 1 1 1 1
- C(3,3,1) = A[B]: 1 1 0 0 1 1 1 1 1 1
- C(0,6,1) = 0: 0 0 0 0 0 0 1 1 1 1
- C = !A(0,5,2): 1 1 1 1 0
- C = A(0,5,2)^B(1,5,2): 0 1 0 0 0
- C = A; C(0,5,2) ^= B(1,5,2): 0 1 1 1 0 0 0 0 0 1
- C = A; C[I] = BitVec(initA,3): 0 0 0 1 0 0 0 0 1 1
- C[I] = A[I]: 0 1 0 1 0 0 0 0 1 1
- C[I] = A[B]: 0 0 0 1 0 1 0 0 1 1
- C[I] = A(0,3,2): 0 0 0 0 0 0 0 0 1 1
- C[I] = YES: 0 1 0 1 0 1 0 0 1 1
- C = A[I]|B[I]: 1 1 0
- C = A; C[A] = BitVec(4,NO): 0 0 0 0 0 0 0 0 0 0
- C = B; C[B] = A[I]: 0 0 1 1 0 0 0 0 0 0
- C = A; C[A] = B[A]: 0 0 0 1 0 0 0 0 0 1
- C = A; C[A] = B(0,4,1): 0 0 0 0 0 0 0 0 1 1
- C = A; C[A] = NO: 0 0 0 0 0 0 0 0 0 0
- C = A[B]|B(0,3,1): 0 1 1
- reverse(B(0,4,1)): 1 1 0 0
- sum(A(1,5,2)): 3
-