0,1 => False,True

template/templateTP.tex

@@ -200,8 +200,8 @@
        {\newline [ pais(ranking(c)[a]) | a  \leftarrow [0.. |ranking(c) |-1 ], a <= 2 ]}
 
 	// genera lista de pares con la coordenada de cada (0, 1) \newline
-	\aux{generoTodosLosParesCeroComaUno}{ls:[\ent]}{[(\ent,\ent)]}
-	{[ (c,c1) | c \leftarrow [0..|ls|-1], c1 \leftarrow [c.. |ls|-1], ls[c]==0 \wedge ls[c1]==1 ]}
+	\aux{generoTodosLosParesCeroComaUno}{ls:[Bool]}{[(\ent,\ent)]}
+	{[ (c,c1) | c \leftarrow [0..|ls|-1], c1 \leftarrow [c.. |ls|-1], ls[c]==False \wedge ls[c1]==True ]}
 
 	//Filtra para que no repita prim() en la lista \newline
 	\aux{uniqPrmLista}{ls:[(\ent,\ent)]}{[(\ent,\ent)]}