(self, *args)
Creates a multiplication of terms

        This function has polimorphic n-arguments:
          - Times(a,b,c)
          - Times([a,b,c])

        Restriction:
         - Arguments must be all of the same type
         - Arguments must be INT or REAL
Creates a multiplication of terms
Creates a multiplication of terms
def Times(self, *args):
        """ Creates a multiplication of terms

        This function has polimorphic n-arguments:
          - Times(a,b,c)
          - Times([a,b,c])

        Restriction:
         - Arguments must be all of the same type
         - Arguments must be INT or REAL
        """
        tuple_args = self._polymorph_args_to_tuple(args)
        if len(tuple_args) == 0:
            raise PysmtTypeError("Cannot create a Times without arguments.")

        if len(tuple_args) == 1:
            return tuple_args[0]
        else:
            return self.create_node(node_type=op.TIMES,
                                    args=tuple_args)
def Times ( self , * args ) : tuple_args = self . _polymorph_args_to_tuple ( args ) if len ( tuple_args ) == 0 : raise PysmtTypeError ( "Cannot create a Times without arguments." ) if len ( tuple_args ) == 1 : return tuple_args [ 0 ] else : return self . create_node ( node_type = op . TIMES , args = tuple_args )