/// <summary>
/// Accepts a generic visitor od the conjunctive-normal-form expressions.
/// </summary>
/// <param name="visitor">Visitor.</param>
public void Accept(IConditionsCNFVisitor visitor)
{
foreach (var conjunct in this)
{
conjunct.Accept(visitor);
}
}
/// <summary>
/// Accepts a generic visitor od the conjunctive-normal-form expressions.
/// </summary>
/// <param name="visitor">Visitor.</param>
public void Accept(IConditionsCNFVisitor visitor)
{
foreach (var literal in this)
{
literal.Accept(visitor);
}
}
/// <summary>
/// Accepts a generic visitor od the conjunctive-normal-form expressions.
/// </summary>
/// <param name="visitor">Visitor.</param>
public override void Accept(IConditionsCNFVisitor visitor)
{
visitor.Visit(this);
}
/// <summary> /// Accepts a generic visitor od the conjunctive-normal-form expressions. /// </summary> /// <param name="visitor">Visitor.</param> public abstract void Accept(IConditionsCNFVisitor visitor);
