If constraint $C_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ holds then constraint $C_{\mathrm{𝑎𝑙𝑠𝑜}}$ does not hold. Reciprocally, if constraint $C_{\mathrm{𝑎𝑙𝑠𝑜}}$ holds then constraint $C_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ does not hold. Note that constraints $C_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ and $C_{\mathrm{𝑎𝑙𝑠𝑜}}$ must also have exactly the same parameters, but not necessarily the same parameters restrictions.

Note that negation is also directly available for constraints which are defined by:

• One single counter free automaton, see keyword automaton without counters.

• One single automaton with counter, see keyword automaton with counters.

• A set of functional dependencies, see keyword pure functional dependency.