19   // Try inserting 2 domain ids.  in TEST()
20   space.insertVar(VarKind::Domain, 0, 2);  in TEST()
32   // spaces which do not distinguish between domain, range are implemented like  in TEST()
41   // Remove 1 domain identifier.  in TEST()
42   space.removeVarRange(VarKind::Domain, 0, 1);  in TEST()
58   // Attach identifiers to domain ids.  in TEST()
59   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
60   space.setId(VarKind::Domain, 1, Identifier(&identifiers[1]));  in TEST()
62   // Try inserting 2 domain ids.  in TEST()
63   space.insertVar(VarKind::Domain, 0, 2);  in TEST()
71   EXPECT_EQ(space.getId(VarKind::Domain, 2), Identifier(&identifiers[0]));  in TEST()
72   EXPECT_EQ(space.getId(VarKind::Domain, 3), Identifier(&identifiers[1]));  in TEST()
80   // Attach identifiers to domain identifiers.  in TEST()
81   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
82   space.setId(VarKind::Domain, 1, Identifier(&identifiers[1]));  in TEST()
92   // Remove 1 domain identifier.  in TEST()
93   space.removeVarRange(VarKind::Domain, 0, 1);  in TEST()
103   // Check if domain identifiers are attached properly.  in TEST()
104   EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[1]));  in TEST()
115   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
119   EXPECT_EQ(space.getId(VarKind::Domain, 0), space.getId(VarKind::Range, 0));  in TEST()
129   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
130   space.setId(VarKind::Domain, 1, Identifier(&identifiers[1]));  in TEST()
200   space.setId(VarKind::Domain, 0, Identifier(&identifiers[0]));  in TEST()
201   space.setId(VarKind::Domain, 1, Identifier(&identifiers[1]));  in TEST()
203   space.setId(VarKind::Domain, 2, Identifier(&otherIdentifiers[2]));  in TEST()
210   otherSpace.setId(VarKind::Domain, 0, Identifier(&otherIdentifiers[0]));  in TEST()
211   otherSpace.setId(VarKind::Domain, 1, Identifier(&otherIdentifiers[1]));  in TEST()
212   otherSpace.setId(VarKind::Domain, 2, Identifier(&otherIdentifiers[2]));  in TEST()
236   // Check that domain and range var identifiers are not affected.  in TEST()
239   EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0]));  in TEST()
240   EXPECT_EQ(space.getId(VarKind::Domain, 1), Identifier(&identifiers[1]));  in TEST()
241   EXPECT_EQ(space.getId(VarKind::Domain, 2), Identifier(&otherIdentifiers[2]));  in TEST()
247   EXPECT_EQ(otherSpace.getId(VarKind::Domain, 0),  in TEST()
249   EXPECT_EQ(otherSpace.getId(VarKind::Domain, 1),  in TEST()
251   EXPECT_EQ(otherSpace.getId(VarKind::Domain, 2),  in TEST()