Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

assume a variable has two possible values


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


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

thanks in advance