def visitExprPredicate(self, ctx): child1 = self.visit(ctx.expression(0)) child2 = self.visit(ctx.expression(1)) op_type = self.str_to_op_type(ctx.comparisonOp().getText()) node = Predicate(child1, child2, op_type) node.horizon = int(0) return node
def test_predicate_leq_2(self): var_node_1 = Variable('req', '', 'output') var_node_2 = Variable('gnt', '', 'output') node = Predicate(var_node_1, var_node_2, StlComparisonOperator.LEQ) node.horizon = 5 pastifier = STLPastifier() node.accept(pastifier) new_node = pastifier.pastify(node) self.assertEqual('(once[5,5](req))<=(once[5,5](gnt))', new_node.name, 'Predicate LEQ pastification assertion')