WORD_SIZE

BitVector

withIndex

CSPOMSeq

withName

CSPOMExpression

withParam

CSPOMConstraint

withParams

CSPOMConstraint

word

BitVector SmallBitVector

words

LargeBitVector