Class UnaryOr

All Implemented Interfaces:
FixedPointConstants

public final class UnaryOr extends UnaryOperator<BooleanVariable>
Operator U(n) = U(n) | U(j)