public override IEnumerable <int> EnumerateStates()
{
foreach (int state in trueCase.EnumerateStates())
{
yield return(state);
}
foreach (int state in falseCase.EnumerateStates())
{
yield return(state);
}
}
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);
}
}