ExistsElement IBuilder <ExistsElement> .Build()
{
Validate();
RuleLeftElement sourceElement = _sourceBuilder.Build();
var existsElement = new ExistsElement(Scope.VisibleDeclarations, sourceElement);
return(existsElement);
}
NotElement IBuilder <NotElement> .Build()
{
Validate();
RuleLeftElement sourceElement = _sourceBuilder.Build();
var notElement = new NotElement(Scope.VisibleDeclarations, sourceElement);
return(notElement);
}
/// <summary>
/// Creates an element that represents a negative existential quantifier.
/// </summary>
/// <param name="source">Source element to apply the negative existential quantifier to.</param>
/// <returns>Created element.</returns>
public static NotElement Not(RuleLeftElement source)
{
if (source == null)
{
throw new ArgumentNullException(nameof(source), "Source element not provided");
}
var element = new NotElement(source);
return(element);
}
GroupElement IBuilder <GroupElement> .Build()
{
var childElements = new List <RuleLeftElement>();
foreach (var builder in _nestedBuilders)
{
RuleLeftElement childElement = builder.Build();
childElements.Add(childElement);
}
var groupElement = Element.Group(_groupType, childElements);
return(groupElement);
}
private void BuildNotNode(ReteBuilderContext context, RuleLeftElement element)
{
var node = context.AlphaSource
.Sinks.OfType <NotNode>()
.FirstOrDefault(x =>
x.RightSource == context.AlphaSource &&
x.LeftSource == context.BetaSource);
if (node == null)
{
node = new NotNode(context.BetaSource, context.AlphaSource);
}
node.NodeInfo.Add(context.Rule, element);
BuildBetaMemoryNode(context, node);
context.ResetAlphaSource();
}
internal ExistsElement(RuleLeftElement source)
{
Source = source;
AddImports(source);
}
