da1e30ef238663dfc87670c6d8394e778b2363cf
-rw-r--r-- 3635 Bit.java
-rw-r--r-- 11919 BitVector.java
-rw-r--r-- 1751 BitVectorFormatter.java
-rw-r--r-- 2251 LogicType.java
-rw-r--r-- 334 MutationOperation.java
-rw-r--r-- 421 StrictLogicType.java