Microsoft.Automata.Z3.TreeRule.EnumerateStatesInOutput C# (CSharp) Method

        public IEnumerable<Pair<Expr, int>> EnumerateStatesInOutput()
        {
            if (output == null)
                yield break;

            foreach (var st in GetStatesOf(output))
            {
                yield return new Pair<Expr, int>(st[0], GetVariableIndex(st[1]));
            }
        }