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);
}