Class BitVectorUnionVector

All Implemented Interfaces:
FixedPointConstants

public class BitVectorUnionVector extends UnaryOperator<BitVectorVariable>
Operator lhs = lhs U rhs U v