/// <summary>
/// Visits and performs a property count on relational operator expression.
/// </summary>
/// <param name="expression">Relational operator expression.</param>
/// <returns>Tuple (property satisfied count, property not satisfied count).</returns>
public Tuple <int, int> Visit(NumericCompareExpression expression)
{
return(ProcessPrimitiveExpression(expression));
}
/// <summary>
/// Visits and performs a property count on relational operator expression.
/// </summary>
/// <param name="expression">Relational operator expression.</param>
/// <returns>Tuple (property satisfied count, property not satisfied count).</returns>
public Tuple <double, double> Visit(NumericCompareExpression expression)
{
// this property is not taken into account
return(Tuple.Create(0.0, 0.0));
}
/// <summary>
/// Visits the expression.
/// </summary>
/// <param name="expression">Expression.</param>
public override void Visit(NumericCompareExpression expression)
{
Stack.Push(new NumericCompareLiteralCNF(expression, IsNegated));
}
