Microsoft.Automata.Rex.RexEngine.GenerateMemberUniformly C# (CSharp) Method

GenerateMemberUniformly() public method

Generates a random member accepted by fa with uniform distribution among strings accepted by the sfa. Assumes that the fa is deterministic and loopfree.
public GenerateMemberUniformly ( Automaton fa ) : string
fa Automaton
return string
        public string GenerateMemberUniformly(Automaton<BDD> fa)
        {
            return solver.GenerateMemberUniformly(fa);
        }