public override bool MoveNext() { retry: // First, try the next child of the current parent. if (childIndex >= 0) { Current = parentEnumerator.Current.Children[childIndex--]; this.variable.Value = Term.CopyInstantiation(Current.Key); return true; } // Ran out of children on the current parent. if (parentEnumerator.MoveNext()) { // ReSharper disable once PossibleNullReferenceException if (parentEnumerator.Current.IsExclusive) throw new ELNodeExclusionException( "Non-exclusive query of an exclusive node", parentEnumerator.Current, this.variable); childIndex = parentEnumerator.Current.Children.Count - 1; goto retry; } this.variable.ForciblyUnbind(); return false; }
public override bool MoveNext() { while (parentEnumerator.MoveNext()) { if (exclusive) { if (parentEnumerator.Current.IsNonExclusive) { throw new ELNodeExclusionException("Exclusive query of an non-exclusive node", parentEnumerator.Current, variable.Value); } } else if (parentEnumerator.Current.IsExclusive) { throw new ELNodeExclusionException("Non-exclusive query of an exclusive node", parentEnumerator.Current, variable.Value); } foreach (var c in parentEnumerator.Current.Children) { if (c.Key.Equals(variable.Value)) { Current = c; return(true); } } } return(false); }
private static System.Collections.Generic.IEnumerable<CutState> DeleteSuccessive(ELNodeEnumerator enumerator) { while (enumerator.MoveNext()) { enumerator.Current.DeleteSelf(); yield return CutState.Continue; } }
private static IEnumerable <CutState> DeleteSuccessive(ELNodeEnumerator enumerator) { while (enumerator.MoveNext()) { enumerator.Current.DeleteSelf(); yield return(CutState.Continue); } }
public override bool MoveNext() { if (nodeEnumerator.MoveNext()) { Current = nodeEnumerator.Current; variableToBind.Value = Current; return true; } variableToBind.ForciblyUnbind(); return false; }
public override bool MoveNext() { while (parentEnumerator.MoveNext()) { if (parentEnumerator.Current.IsNonExclusive) { throw new ELNodeExclusionException("Exclusive query of an non-exclusive node", parentEnumerator.Current, key); } if (parentEnumerator.Current.TryLookup(key, out Current)) return true; } return false; }
public override bool MoveNext() { while (parentEnumerator.MoveNext()) { // ReSharper disable once PossibleNullReferenceException if (parentEnumerator.Current.IsExclusive) throw new ELNodeExclusionException("Non-exclusive query of an exclusive node", parentEnumerator.Current, childKey); // ReSharper disable once PossibleNullReferenceException if (parentEnumerator.Current.TryLookup(childKey, out Current)) return true; } return false; }
public override bool MoveNext() { while (parentEnumerator.MoveNext()) { if (parentEnumerator.Current.IsNonExclusive) { throw new ELNodeExclusionException("Exclusive query of an non-exclusive node", parentEnumerator.Current, this.variable); } if (parentEnumerator.Current.Children.Count > 0) { Current = parentEnumerator.Current.Children[0]; this.variable.Value = Term.CopyInstantiation(Current.Key); return true; } } this.variable.ForciblyUnbind(); return false; }
private static System.Collections.Generic.IEnumerable<CutState> DeleteSuccessive(ELNodeEnumerator enumerator) { while (enumerator.MoveNext()) { enumerator.Current.DeleteSelf(); yield return CutState.Continue; } }
private static IEnumerable<CutState> EnumerateAndBindNode(ELNodeEnumerator enumerator, object varToBindTo) { while (enumerator.MoveNext()) #pragma warning disable 414, 168, 219 // ReSharper disable once UnusedVariable foreach (var ignore in Term.Unify(varToBindTo, enumerator.Current)) #pragma warning restore 414, 168, 219 yield return CutState.Continue; }