Class BitVectorUnion

All Implemented Interfaces:
FixedPointConstants

public class BitVectorUnion extends AbstractMeetOperator<BitVectorVariable>
Operator U(n) = U(n) U U(j)