Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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