minusValues

fun minusValues(valuesToExclude: Iterable<A_BasicObject>): TypeRestriction

Create the asymmetric difference of the receiver and each of the given exact values. This is the restriction that a register would have if it held a value that satisfied the receiver, but failed a value comparison against each of the given values.

Return

The new type restriction.

Parameters

valuesToExclude

The values to exclude from the receiver to create a new TypeRestriction.