71: #line 84 "felix_fincat.ipk" 72: def is_arrow(self, arrow): 73: return arrow in self.get_arrows() 74: 75: def is_object(self, arrow): 76: return arrow in self.get_objects() 77: