/// <summary>
/// Sets an aggregate element as the source of the pattern element.
/// </summary>
/// <param name="element">Element to set as the source.</param>
public void Aggregate(AggregateElement element)
{
AssertSingleSource();
var builder = BuilderAdapter.Create(element);
_sourceBuilder = builder;
}
/// <summary>
/// Sets a group as the source of the negative existential element.
/// </summary>
/// <param name="element">Element to set as the source.</param>
public void Group(GroupElement element)
{
AssertSingleSource();
var builder = BuilderAdapter.Create(element);
_sourceBuilder = builder;
}
/// <summary>
/// Sets a binding element as the source of the pattern element.
/// </summary>
/// <param name="element">Element to set as the source.</param>
public void Binding(BindingElement element)
{
AssertSingleSource();
var builder = BuilderAdapter.Create(element);
_sourceBuilder = builder;
}
/// <summary>
/// Sets a pattern as the source of the negative existential element.
/// </summary>
/// <param name="element">Element to set as the source.</param>
public void Pattern(PatternElement element)
{
AssertSingleSource();
_sourceBuilder = BuilderAdapter.Create(element);
}
/// <summary>
/// Adds a nested group to this group element.
/// </summary>
/// <param name="element">Element to add.</param>
public void Group(GroupElement element)
{
var builder = BuilderAdapter.Create(element);
_nestedBuilders.Add(builder);
}
/// <summary>
/// Adds a pattern to the group element.
/// </summary>
/// <param name="element">Element to add.</param>
public void Pattern(PatternElement element)
{
var builder = BuilderAdapter.Create(element);
_nestedBuilders.Add(builder);
}
/// <summary>
/// Adds a forall element to the group element.
/// </summary>
/// <param name="element">Element to add.</param>
public void ForAll(ForAllElement element)
{
var builder = BuilderAdapter.Create(element);
_nestedBuilders.Add(builder);
}
/// <summary>
/// Adds a negative existential element to the group element.
/// </summary>
/// <param name="element">Element to add.</param>
public void Not(NotElement element)
{
var builder = BuilderAdapter.Create(element);
_nestedBuilders.Add(builder);
}
/// <summary>
/// Adds an existential element to the group element.
/// </summary>
/// <param name="element">Element to add.</param>
public void Exists(ExistsElement element)
{
var builder = BuilderAdapter.Create(element);
_nestedBuilders.Add(builder);
}