Revision history [back]

Hi,

how can I assume that a variable admits only a finite number of possible values? E.g., the variable x can only be 0 or 1. I could assume that

x*(x-1)==0

but I am looking whether there is a straightforward way, too.

thanks in advance