Example #1
0
        public object VisitNextExpression(KpExperimentParser.NextExpressionContext context)
        {
            var equivalenceExpressionContext = context.equivalenceExpression();
            var equivalenceExpression        = VisitEquivalenceExpression(equivalenceExpressionContext) as IPredicate;

            return(new UnaryProperty
            {
                Operand = equivalenceExpression,
                Operator = TemporalOperator.Next,
            });
        }