PrefixOperator
PrefixOperator takes a single constraint and modifies
its action in some way.
protected PrefixOperator()
Returns the constraint created by applying this
prefix to another constraint.