/// <summary>
/// Compares <paramref name="formula" /> with <paramref name="referenceFormula" />.
/// </summary>
public static bool Compare(Formula referenceFormula, Formula formula)
{
Requires.NotNull(referenceFormula, nameof(referenceFormula));
Requires.NotNull(formula, nameof(formula));
var visitor = new IsFormulasStructurallyEquivalentVisitor(referenceFormula);
visitor.Visit(formula);
return(visitor.IsEqual);
}
