Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:analyses_based_on_formulas [2009/04/08 10:39] vkuncak |
sav08:analyses_based_on_formulas [2009/04/08 10:44] vkuncak |
||
|---|---|---|---|
| Line 107: | Line 107: | ||
| If there is no solution, there is no invariant **of that particular template form**. | If there is no solution, there is no invariant **of that particular template form**. | ||
| - | Note: for non-numerical domains, we obtain different kinds of constraints. A popular class are set constraints. | + | Note: for non-numerical domains, we obtain different kinds of constraints. A popular class are [[sav08:lecture25|set constraints]]. |
| ===== References ===== | ===== References ===== | ||