ComplementPattern.cs

using System.Collections.Generic;
using System.Text;
using System.Threading.Tasks;
using Waher.Content.Semantic;
 
namespace Waher.Script.Persistence.SPARQL.Patterns
{
    public class ComplementPattern : BinaryOperatorPattern
    {
        public ComplementPattern(ISparqlPattern Left, ISparqlPattern Right)
            : base(Left, Right)
        {
        }
 
        public override async Task<IEnumerable<Possibility>> Search(ISemanticCube Cube, Variables Variables,
            IEnumerable<Possibility> ExistingMatches, SparqlQuery Query)
        {
            ExistingMatches = await this.Left.Search(Cube, Variables, ExistingMatches, Query);
            if (ExistingMatches is null)
                return null;
 
            LinkedList<Possibility> Result = null;
 
            foreach (Possibility P in ExistingMatches)
            {
                IEnumerable<Possibility> NewMatches = await this.Right.Search(Cube, Variables,
                    new Possibility[] { P }, Query);
 
                if (NewMatches is null || !NewMatches.GetEnumerator().MoveNext())
                {
                    if (Result is null)
                        Result = new LinkedList<Possibility>();
 
                    Result.AddLast(P);
                }
            }
 
            return Result;
        }
 
    }
}