(self, *args)
Returns an sum of terms.

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

        Restriction:
         - Arguments must be all of the same type
         - Arguments must be INT or REAL
Returns an sum of terms.
Returns an sum of terms .
def Plus(self, *args):
        """ Returns an sum of terms.

        This function has polimorphic n-arguments:
          - Plus(a,b,c)
          - Plus([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 Plus without arguments.")

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