Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cartesianproducts [2015/04/21 17:44]
wikiadmin
cartesianproducts [2015/04/21 17:45] (current)
wikiadmin
Line 155: Line 155:
  
 ...in a system with only two positions can be seen as the constraint: ...in a system with only two positions can be seen as the constraint:
-\[p_i = ENode \times ]2;\infty[ \]+\begin{equation*}p_i = ENode \times ]2;\infty[ \end{equation*}
  
 This works well for .isInstanceOf checks as well, but not for stuff like if i > j, as our cartesian products have no way to represent dependencies between members. This works well for .isInstanceOf checks as well, but not for stuff like if i > j, as our cartesian products have no way to represent dependencies between members.
 
cartesianproducts.txt · Last modified: 2015/04/21 17:45 by wikiadmin
 
© EPFL 2018 - Legal notice