private void LeoMemoization(EarleyItem earleyItem, int setNumber) { if (!Sets[setNumber].IsItemLeoEligible(earleyItem)) { return; } Symbol penult = earleyItem.GetItemPenult(); LeoItem predecessorLeoItem = FindLeoItemPredecessor(earleyItem); if (predecessorLeoItem != null) { Sets[predecessorLeoItem.GetOrignPosition()] .AddLeoItem(new LeoItem( predecessorLeoItem.GetDottedRule(), predecessorLeoItem.GetOrignPosition(), penult )); } else { Sets[earleyItem.GetOrignPosition()] .AddLeoItem(new LeoItem( new DottedRule(earleyItem.GetRule(), earleyItem.GetRulePosition() + 1), earleyItem.GetOrignPosition(), penult )); } }
private bool LeoReducer(EarleyItem completed, int setNumber) { int position = completed.GetOrignPosition(); Symbol lhs = completed.GetRule().GetLeftHandSideOfRule(); EarleySet set = Sets[position]; LeoItem transitiveItem = set.FindLeoItemBySymbol(lhs); if (transitiveItem == null) { return(false); } EarleyItem newEarleyItem = new EarleyItem( setNumber, transitiveItem.GetDottedRule(), transitiveItem.GetOrignPosition() ); EarleyItem current = Sets[transitiveItem.GetOrignPosition()].GetEarleyItemList() .Find(el => el.GetDottedRule().Equals(transitiveItem.GetDottedRule()) && el.GetOrignPosition() == transitiveItem.GetOrignPosition()); if (current.GetCurrentPrevSymbolList() != null && current.GetCurrentPrevSymbolList().Count > 0) { newEarleyItem.AddPredecessorLink(current, position); } newEarleyItem.AddReducerLink(completed, position); AddToSet( newEarleyItem, setNumber, "LeoReducer" ); return(true); }
internal static void PrintSets(List <EarleySet> setsToPrint, bool all) { if (setsToPrint == null) { return; } for (int i = 0; i < setsToPrint.Count; i++) { Console.WriteLine("\n <=============================SET=================================> " + i); EarleySet set = setsToPrint[i]; List <EarleyItem> items = set.GetEarleyItemList(); for (int k = 0; k < items.Count; k++) { EarleyItem e = items[k]; if (!all) { if (e.IsCompleted()) { Console.WriteLine("\t\t" + e.ToString()); } } else { Console.WriteLine((e.IsCompleted() ? "\t\t" : "\t") + e.ToString()); } } Console.WriteLine("\n <--------> "); List <LeoItem> transitiveItems = set.GetLeoItemList(); for (int k = 0; k < transitiveItems.Count; k++) { LeoItem e = transitiveItems[k]; Console.WriteLine(e.ToString()); } Console.WriteLine("\n <=====================================================================> " + i); } }
internal void AddLeoItem(LeoItem leoItem) { _leoItemList.Add(leoItem); }