def test_predicate_neq(self):
oper = PredicateOperation(StlComparisonOperator.NEQ)
out1 = oper.update(self.left1, self.right1)
out2 = oper.update(self.left2, self.right2)
out3 = oper.update(self.left3, self.right3)
out4 = oper.update(self.left4, self.right4)
out5 = oper.update(self.left5, self.right5)
self.assertEqual(out1, 80, "input 1")
self.assertEqual(out2, 1, "input 2")
self.assertEqual(out3, 12, "input 3")
self.assertEqual(out4, 1, "input 4")
self.assertEqual(out5, 0, "input 5")
def visitPredicate(self, node, args):
monitor = PredicateOperation(node.operator)
self.node_monitor_dict[node.name] = monitor
self.visit(node.children[0], args)
self.visit(node.children[1], args)