BIT_VECTOR
signature
signature BIT_VECTOR
include MONO_VECTOR
sharing type elem = bool
val fromString : string -> vector
val bits : (int * int list) -> vector
val getBits : vector -> int list
val toString : vector -> string
val isZero : vector -> bool
val extend0 : (vector * int) -> vector
val extend1 : (vector * int) -> vector
val eqBits : (vector * vector) -> bool
val equal : (vector * vector) -> bool
val andb : (vector * vector * int) -> vector
val orb : (vector * vector * int) -> vector
val xorb : (vector * vector * int) -> vector
val notb : vector -> vector
val lshift : (vector * int) -> vector
val rshift : (vector * int) -> vector
include MONO_VECTOR
fromString s
bits (i, l)
getBits vec
toString vec
isZero vec
extend0 (vec, i)
extend1 (vec, i)
eqBits (vec, vec2)
equal (vec, vec2)
andb (vec, vec2, i)
orb (vec, vec2, i)
xorb (vec, vec2, i)
notb vec
lshift (vec, i)
rshift (vec, i)
Last Modified May 29, 1996
Copyright © 1996 AT&T Research