/// <summary> /// Accepts a visitor counting some specific property of the conjunctive-normal-form expression. /// </summary> /// <param name="visitor">Property counting visitor.</param> /// <returns>Number of expression nodes fulfilling and non-fulfilling specified condition.</returns> public abstract Tuple <int, int> Accept(IConditionsCNFPropCountVisitor visitor);
/// <summary>
/// Accepts a visitor counting some specific property of the conjunctive-normal-form expression.
/// </summary>
/// <param name="visitor">Property counting visitor.</param>
/// <returns>Number of expression nodes fulfilling and non-fulfilling specified condition.</returns>
public Tuple <int, int> Accept(IConditionsCNFPropCountVisitor visitor)
{
return(visitor.Visit(this));
}
/// <summary>
/// Accepts a visitor counting some specific property of the conjunctive-normal-form expression.
/// </summary>
/// <param name="visitor">Property counting visitor.</param>
/// <returns>Number of expression nodes fulfilling and non-fulfilling specified condition.</returns>
public override Tuple<int, int> Accept(IConditionsCNFPropCountVisitor visitor)
{
return visitor.Visit(this);
}
