Esempio n. 1
0
 def is_consistent(self):
     if not UnaryOp.is_consistent(self):
         return False
     if self._operand.get_result_type() != STREAM_SYM:
         LOG.error('Operator %s not consistent', self)
         return False
     return True
Esempio n. 2
0
 def is_consistent(self):
     if not UnaryOp.is_consistent(self):
         return False
     if not self._cptheory.is_consistent():
         LOG.error('Operator %s not consistent', self)
         return False
     return True
Esempio n. 3
0
 def is_consistent(self):
     # Must be over another sequence operator
     if not UnaryOp.is_consistent(self):
         return False
     if not isinstance(self._operand, GenericSeqOp):
         LOG.error('Operator %s not consistent', self)
         return False
     return True
Esempio n. 4
0
 def is_consistent(self):
     if not UnaryOp.is_consistent(self):
         return False
     if self._operand.get_result_type() != STREAM_SYM \
             or None in self._identifier_attribute_list:
         LOG.error('Operator %s not consistent', self)
         return False
     return True
 def is_consistent(self):
     if not UnaryOp.is_consistent(self):
         return False
     if not isinstance(self._operand, GenericSeqOp):
         return False
     if not self._tcptheory.is_consistent():
         LOG.error('Operator %s not consistent', self)
         return False
     return True