Class BitVectorUnionConstant

All Implemented Interfaces:
FixedPointConstants

public class BitVectorUnionConstant extends UnaryOperator<BitVectorVariable>
Operator OUT = IN U c