public void Merge(Namespace ns)
{
if (ns.Name != Name)
{
new SourceError(ns.Start, ns.Length, $"Different namespaces \"{ns.Name}\" and \"{Name}\" can not be merged.");
}
Members = Members.Concat(ns.Members);
}
/// <summary>
/// Add a member to the Sequence
/// </summary>
public BigInteger AddMember()
{
BigInteger n = GetNextMember();
if (!Stable)
{
Stable = Members.Contains(n);
}
_members = Members.Concat(new BigInteger[] { n });
return(LastMember);
}
/// <summary>
/// Add a member to the Sequence
/// </summary>
public BigInteger AddMember()
{
_members = Members.Concat(new BigInteger[] { GetNextMember() });
return(LastMember);
}
