add BitVector copy constructor and BitVector.setAndSignExtend()
authoradam <adam@megacz.com>
Thu, 26 Jun 2008 10:32:14 +0000 (11:32 +0100)
committeradam <adam@megacz.com>
Thu, 26 Jun 2008 10:32:14 +0000 (11:32 +0100)
commit7e4425b77531e0e7d97cc3fb464d3c80a87a1645
treede1ab661bcdacfd24350b975051ac36b0a80e912
parent5749f33808262ef468a910087ab3ea16fcb0a0bd
add BitVector copy constructor and BitVector.setAndSignExtend()
src/edu/berkeley/fleet/api/BitVector.java