Lines Matching full:space
173 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 2, 0); in TEST() local
178 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
179 space.setId(VarKind::Domain, 1, Identifier(&identifiers[1])); in TEST()
182 space.setId(VarKind::Range, 0, Identifier(&identifiers[2])); in TEST()
185 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
186 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
192 rel.setSpace(space); in TEST()
201 .isEqual(space.getId(VarKind::Range, 0))); in TEST()
203 .isEqual(space.getId(VarKind::Symbol, 1))); in TEST()
205 .isEqual(space.getId(VarKind::Domain, 0))); in TEST()
207 .isEqual(space.getId(VarKind::Domain, 1))); in TEST()
219 PresburgerSpace space = PresburgerSpace::getRelationSpace(3, 3, 2, 0); in TEST() local
227 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
228 space.setId(VarKind::Domain, 1, Identifier(&identifiers[1])); in TEST()
230 space.setId(VarKind::Domain, 2, Identifier(&otherIdentifiers[2])); in TEST()
231 space.setId(VarKind::Range, 0, Identifier(&identifiers[2])); in TEST()
232 space.setId(VarKind::Range, 1, Identifier(&identifiers[3])); in TEST()
233 space.setId(VarKind::Range, 2, Identifier(&identifiers[4])); in TEST()
234 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[5])); in TEST()
235 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[6])); in TEST()
247 rel.setSpace(space); in TEST()
251 space = rel.getSpace(); in TEST()
256 EXPECT_EQ(4u, space.getNumSymbolVars()); in TEST()
258 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[5])); in TEST()
259 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[6])); in TEST()
260 EXPECT_EQ(space.getId(VarKind::Symbol, 2), Identifier(&otherIdentifiers[5])); in TEST()
261 EXPECT_EQ(space.getId(VarKind::Symbol, 3), Identifier(&otherIdentifiers[7])); in TEST()
269 EXPECT_EQ(3u, space.getNumDomainVars()); in TEST()
270 EXPECT_EQ(3u, space.getNumRangeVars()); in TEST()
271 EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0])); in TEST()
272 EXPECT_EQ(space.getId(VarKind::Domain, 1), Identifier(&identifiers[1])); in TEST()
273 EXPECT_EQ(space.getId(VarKind::Domain, 2), Identifier(&otherIdentifiers[2])); in TEST()
274 EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[2])); in TEST()
275 EXPECT_EQ(space.getId(VarKind::Range, 1), Identifier(&identifiers[3])); in TEST()
276 EXPECT_EQ(space.getId(VarKind::Range, 2), Identifier(&identifiers[4])); in TEST()
298 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 4, 0); in TEST() local
306 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
307 space.setId(VarKind::Domain, 1, Identifier(&identifiers[1])); in TEST()
308 space.setId(VarKind::Range, 0, Identifier(&identifiers[2])); in TEST()
309 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
310 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
311 space.setId(VarKind::Symbol, 2, Identifier(&identifiers[5])); in TEST()
312 space.setId(VarKind::Symbol, 3, Identifier(&identifiers[6])); in TEST()
323 rel.setSpace(space); in TEST()
327 space = rel.getSpace(); in TEST()
332 EXPECT_EQ(8u, space.getNumSymbolVars()); in TEST()
334 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[3])); in TEST()
335 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[4])); in TEST()
336 EXPECT_EQ(space.getId(VarKind::Symbol, 2), Identifier(&identifiers[5])); in TEST()
337 EXPECT_EQ(space.getId(VarKind::Symbol, 3), Identifier(&identifiers[6])); in TEST()
338 EXPECT_EQ(space.getId(VarKind::Symbol, 4), Identifier(&otherIdentifiers[4])); in TEST()
339 EXPECT_EQ(space.getId(VarKind::Symbol, 5), Identifier(&otherIdentifiers[5])); in TEST()
340 EXPECT_EQ(space.getId(VarKind::Symbol, 6), Identifier(&otherIdentifiers[6])); in TEST()
341 EXPECT_EQ(space.getId(VarKind::Symbol, 7), Identifier(&otherIdentifiers[7])); in TEST()
355 EXPECT_EQ(2u, space.getNumDomainVars()); in TEST()
356 EXPECT_EQ(1u, space.getNumRangeVars()); in TEST()
357 EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0])); in TEST()
358 EXPECT_EQ(space.getId(VarKind::Domain, 1), Identifier(&identifiers[1])); in TEST()
359 EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[2])); in TEST()
379 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 4, 0); in TEST() local
387 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
388 space.setId(VarKind::Domain, 1, Identifier(&identifiers[1])); in TEST()
389 space.setId(VarKind::Range, 0, Identifier(&identifiers[2])); in TEST()
390 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
391 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
392 space.setId(VarKind::Symbol, 2, Identifier(&identifiers[5])); in TEST()
393 space.setId(VarKind::Symbol, 3, Identifier(&identifiers[6])); in TEST()
405 rel.setSpace(space); in TEST()
409 space = rel.getSpace(); in TEST()
414 EXPECT_EQ(6u, space.getNumSymbolVars()); in TEST()
416 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[3])); in TEST()
417 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[4])); in TEST()
418 EXPECT_EQ(space.getId(VarKind::Symbol, 2), Identifier(&identifiers[5])); in TEST()
419 EXPECT_EQ(space.getId(VarKind::Symbol, 3), Identifier(&identifiers[6])); in TEST()
420 EXPECT_EQ(space.getId(VarKind::Symbol, 4), Identifier(&otherIdentifiers[4])); in TEST()
421 EXPECT_EQ(space.getId(VarKind::Symbol, 5), Identifier(&otherIdentifiers[5])); in TEST()
431 EXPECT_EQ(2u, space.getNumDomainVars()); in TEST()
432 EXPECT_EQ(1u, space.getNumRangeVars()); in TEST()
433 EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0])); in TEST()
434 EXPECT_EQ(space.getId(VarKind::Domain, 1), Identifier(&identifiers[1])); in TEST()
435 EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[2])); in TEST()
451 PresburgerSpace space = PresburgerSpace::getRelationSpace(2, 1, 4, 0); in TEST() local
455 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
456 space.setId(VarKind::Domain, 1, Identifier(&identifiers[1])); in TEST()
457 space.setId(VarKind::Range, 0, Identifier(&identifiers[2])); in TEST()
458 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
459 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
460 space.setId(VarKind::Symbol, 2, Identifier(&identifiers[5])); in TEST()
461 space.setId(VarKind::Symbol, 3, Identifier(&identifiers[6])); in TEST()
462 rel.setSpace(space); in TEST()
469 space = rel.getSpace(); in TEST()
471 EXPECT_EQ(space.getId(VarKind::Domain, 1), Identifier(&newIdentifiers[0])); in TEST()
472 EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&newIdentifiers[1])); in TEST()
473 EXPECT_EQ(space.getId(VarKind::Symbol, 2), Identifier(&newIdentifiers[2])); in TEST()
475 EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0])); in TEST()
476 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[3])); in TEST()
477 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[4])); in TEST()
478 EXPECT_EQ(space.getId(VarKind::Symbol, 3), Identifier(&identifiers[6])); in TEST()
482 PresburgerSpace space = PresburgerSpace::getSetSpace(3, 3, 0); in TEST() local
486 space.setId(VarKind::SetDim, 0, Identifier(&identifiers[0])); in TEST()
487 space.setId(VarKind::SetDim, 1, Identifier(&identifiers[1])); in TEST()
488 space.setId(VarKind::SetDim, 2, Identifier(&identifiers[2])); in TEST()
489 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
490 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
491 space.setId(VarKind::Symbol, 2, Identifier(&identifiers[5])); in TEST()
499 rel.setSpace(space); in TEST()
508 space = rel.getSpace(); in TEST()
514 expectedRel.setSpace(space); in TEST()
518 EXPECT_EQ(space.getId(VarKind::SetDim, 0), Identifier(&identifiers[4])); in TEST()
519 EXPECT_EQ(space.getId(VarKind::SetDim, 1), Identifier(&identifiers[2])); in TEST()
520 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[3])); in TEST()
521 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[0])); in TEST()
522 EXPECT_EQ(space.getId(VarKind::Symbol, 2), Identifier(&identifiers[1])); in TEST()
523 EXPECT_EQ(space.getId(VarKind::Symbol, 3), Identifier(&identifiers[5])); in TEST()
531 PresburgerSpace space = rel.getSpace(); in TEST() local
534 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
535 space.setId(VarKind::Range, 0, Identifier(&identifiers[1])); in TEST()
536 space.setId(VarKind::Range, 1, Identifier(&identifiers[2])); in TEST()
537 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
538 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
539 rel.setSpace(space); in TEST()
544 space = rel.getSpace(); in TEST()
545 EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0])); in TEST()
546 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[3])); in TEST()
547 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[4])); in TEST()
553 space = rel2.getSpace(); in TEST()
554 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
555 space.setId(VarKind::Domain, 1, Identifier(&identifiers[1])); in TEST()
556 space.setId(VarKind::Range, 0, Identifier(&identifiers[2])); in TEST()
557 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
558 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
559 rel2.setSpace(space); in TEST()
564 space = rel2.getSpace(); in TEST()
565 EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[2])); in TEST()
566 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[3])); in TEST()
567 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[4])); in TEST()
573 space = rel3.getSpace(); in TEST()
574 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
575 space.setId(VarKind::Range, 0, Identifier(&identifiers[1])); in TEST()
576 space.setId(VarKind::Range, 1, Identifier(&identifiers[2])); in TEST()
577 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
578 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
579 rel3.setSpace(space); in TEST()
584 space = rel3.getSpace(); in TEST()
585 EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0])); in TEST()
586 EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[2])); in TEST()
587 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[3])); in TEST()
588 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[4])); in TEST()
594 space = rel4.getSpace(); in TEST()
595 space.setId(VarKind::Domain, 0, Identifier(&identifiers[0])); in TEST()
596 space.setId(VarKind::Domain, 1, Identifier(&identifiers[1])); in TEST()
597 space.setId(VarKind::Range, 0, Identifier(&identifiers[2])); in TEST()
598 space.setId(VarKind::Symbol, 0, Identifier(&identifiers[3])); in TEST()
599 space.setId(VarKind::Symbol, 1, Identifier(&identifiers[4])); in TEST()
600 rel4.setSpace(space); in TEST()
605 space = rel4.getSpace(); in TEST()
606 EXPECT_EQ(space.getId(VarKind::Domain, 0), Identifier(&identifiers[0])); in TEST()
607 EXPECT_EQ(space.getId(VarKind::Range, 0), Identifier(&identifiers[2])); in TEST()
608 EXPECT_EQ(space.getId(VarKind::Symbol, 0), Identifier(&identifiers[3])); in TEST()
609 EXPECT_EQ(space.getId(VarKind::Symbol, 1), Identifier(&identifiers[4])); in TEST()