예제 #1
0
        public void CctorTest_Ok()
        {
            IEnumerable <SetOfEquivalence> setsOfEquivalenceExpected =
                EnumerateHelper.Sequence(
                    new SetOfEquivalence
                    (
                        new SortedSet <Label>(EnumerateHelper.Sequence(
                                                  new Label(new SingleLabel('P')),
                                                  null,
                                                  new Label(new SingleLabel('D'))
                                                  )
                                              )
                    ),
                    null,
                    new SetOfEquivalence
                    (
                        new SortedSet <Label>(EnumerateHelper.Sequence(
                                                  new Label(new SingleLabel('S')),
                                                  new Label(new SingleLabel('M'))
                                                  )
                                              )
                    )
                    );

            SetsOfEquivalence setsOfEquivalence = new SetsOfEquivalence(setsOfEquivalenceExpected);

            CollectionAssert.AreEquivalent(setsOfEquivalenceExpected, setsOfEquivalence);
        }
예제 #2
0
 public MinimizingIterationPostReport(SetsOfEquivalence setsOfEquivalence, int iteration, bool isLastIteration)
     : base(setsOfEquivalence, iteration)
 {
     IsLastIteration = isLastIteration;
 }