/// <summary>
/// Choose a random member uniformly at random from the BV set.
/// The member is chosen from the union of the underlying minterm BDDs corresponding to s.
/// </summary>
public char ChooseUniformly(BV s)
{
if (s.Equals(this.zero))
{
throw new AutomataException(AutomataExceptionKind.SetIsEmpty);
}
BDD bdd;
TryConvertToCharSet(s, out bdd);
var res = solver.ChooseUniformly(bdd);
return(res);
}
