HotpVector constructor

const HotpVector(int counter, String code)

Creates a vector.

Implementation

const HotpVector(this.counter, this.code);