/// <summary>
/// Private constructor used for cloning.
/// </summary>
/// <param name="source">The source AtomFunction to use for building the new one.</param>
/// <param name="members">The members to use in the new AtomFunction.</param>
private AtomFunction(AtomFunction source, IPredicate[] members)
: base(source, members)
{
this.bob = source.bob;
this.functionSignature = source.functionSignature;
this.resolutionType = source.resolutionType;
}
/// <summary>
/// Private constructor used for cloning.
/// </summary>
/// <param name="source">The source AtomFunction to use for building the new one.</param>
private AtomFunction(AtomFunction source)
: base(source)
{
this.bob = source.bob;
this.functionSignature = source.functionSignature;
this.resolutionType = source.resolutionType;
}
/// <summary>
/// Private constructor used for cloning.
/// </summary>
/// <param name="source">The source AtomFunction to use for building the new one.</param>
private AtomFunction(AtomFunction source) : base(source)
{
this.bob = source.bob;
this.functionSignature = source.functionSignature;
this.resolutionType = source.resolutionType;
}
/// <summary>
/// Private constructor used for cloning.
/// </summary>
/// <param name="source">The source AtomFunction to use for building the new one.</param>
/// <param name="members">The members to use in the new AtomFunction.</param>
private AtomFunction(AtomFunction source, IPredicate[] members) : base(source, members)
{
this.bob = source.bob;
this.functionSignature = source.functionSignature;
this.resolutionType = source.resolutionType;
}