public bool TryLookupBest(Bus bus, out IAutoEvaluationTheorem <TAspect> theorem, out GroupCollection groups) { throw new NotImplementedException(); //groups = null; //theorem = null; //return false; }
protected override void InsertItem(int index, IAutoEvaluationTheorem <TAspect> item) { base.InsertItem(index, item); Pattern pattern = item.CreatePattern(); pattern.MergeToCoalescedTree(item.TheoremId, _tree); }
public bool TryGetValue(MathIdentifier id, out IAutoEvaluationTheorem <TAspect> theorem) { theorem = null; if (!Contains(id)) { return(false); } theorem = base[id]; return(true); }
public bool TryLookupBest(Port port, out IAutoEvaluationTheorem <TAspect> theorem, out GroupCollection groups) { Match match; if (TryMatchBest(null, port, out match)) { groups = match.Groups; if (this.TryGetValue(match.PatternId, out theorem)) { return(true); } } groups = null; theorem = null; return(false); }
protected override MathIdentifier GetKeyForItem(IAutoEvaluationTheorem <TAspect> item) { return(item.TheoremId); }