public void Check1() { this.model.AddState (string.Empty); this.model.AddState (string.Empty); this.model.AddState (string.Empty); this.model.AddTransition (0, 1); this.model.AddTransition (2, 1); var closure = new ModelClosure (this.model); Assert.AreEqual (this.model.StatesCount, closure.StatesCount); Assert.IsTrue (ModelTotalityChecker.Check (closure)); AssertHelper.IsSubmodel (this.model, closure); Assert.IsTrue (closure.Transitions (1).Count > 0); }