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