Skip to contents

Construct an instance of BitVectorDomain.

Usage

bitvector_domain(max_weight = NULL)

Arguments

max_weight

The maximum number of positive bits.

Value

Domain