Implement imprisonment expressions with the new template ADT about catemplates HOT 3 OPEN

Would it make sense to keep a list of variables boundary restrictions as a template property?

from catemplates.

Num certo sentido, já fazemos isso. Afinal, quando dizemos que xi pertence a {0,2} estamos estabelecendo uma restrição desse tipo.

from catemplates.

This task is about adapting the old code (that works with expressions inside the template list (like x_i is an element of {0,2}) to work with the new template representation.

The question here, is if it still makes sense to keep these restrictions convoluted with the template as before, or if we should use a separate list that contains only the restrictions, and store this list inside the template along with it's other properties.

from catemplates.