PbAtMost constructor

PbAtMost(List<Expr> args, int k)

Implementation

PbAtMost(this.args, this.k);