Example #1
0
        public override IEnumerable <int> EnumerateStates()
        {
            foreach (int state in trueCase.EnumerateStates())
            {
                yield return(state);
            }

            foreach (int state in falseCase.EnumerateStates())
            {
                yield return(state);
            }
        }
Example #2
0
 public override IEnumerable <int> EnumerateStates()
 {
     foreach (var c in cases)
     {
         foreach (var st in c.Value.EnumerateStates())
         {
             yield return(st);
         }
     }
     foreach (var st in defaultcase.EnumerateStates())
     {
         yield return(st);
     }
 }