[ library(notinstance) | Reference Manual | Alphabetic Index ]

X ~=< Y

Constrain X not to be an instance of Y

Description

We assume:

no shared variables between X and Y
X may get more instantiated, but not Y

Failure is detected eagerly. Success may be detected late.