/// <summary>
/// Creates a builder for a forall element as part of the current group element.
/// </summary>
/// <returns>Forall builder.</returns>
public ForAllBuilder ForAll()
{
var builder = new ForAllBuilder();
_nestedBuilders.Add(builder);
return(builder);
}
/// <summary>
/// Creates a builder for a forall element as part of the current element.
/// </summary>
/// <returns>Forall builder.</returns>
public ForAllBuilder ForAll()
{
AssertSingleSource();
var sourceBuilder = new ForAllBuilder(Scope);
_sourceBuilder = sourceBuilder;
return(sourceBuilder);
}
/// <summary>
/// Adds a forall element builder to the group element.
/// </summary>
/// <param name="builder">Element builder to add.</param>
public void ForAll(ForAllBuilder builder)
{
_nestedBuilders.Add(builder);
}
