internal void NoteAnalysisReasonCreated(AnalysisReason fact) { allReasons.Add(fact); }
bool IEdgeSet <AnalysisFact, AnalysisReason> .ContainsEdge(AnalysisReason edge) { return(true); // any reason created must be an edge }
bool IEquatable <AnalysisReason> .Equals(AnalysisReason other) { return(this == other); }