- forThisX :: String Int [(Int, Int)] -> String
- forThisX s cx p = "(" <+ s <+ "x=" <+ cx <+ " & (" <+
- join " | " [s <+ "y=" <+ y \\(x, y)<-p | x == cx] <+ "))"
-
-encodeObInit :: String (Int, Int) -> String
-encodeObInit s (x, y) = "\t" <+ s <+ "x=" <+ x <+ " & " <+ s <+ "y=" <+ y
-
-encodeObVar :: String Int Int -> String
-encodeObVar s mx my = "\t" <+ s <+ "x: 0.." <+ mx <+ ";\n" <+
- "\t" <+ s <+ "y: 0.." <+ my <+ ";\n"
+ forThisX :: Int [(Int, Int)] -> String
+ forThisX cx p = "(x=" <+ cx <+ " & (" <+
+ join " | " ["y=" <+ y \\(x, y)<-p | x == cx] <+ "))"