(self, symbol)
Declares a constant symbol.

        Restrictions: Only after set-logic.

        :param symbol: Symbol to be declared
        :type name:  Pysmt symbol
        :returns: None
Declares a constant symbol.
Declares a constant symbol .
def declare_const(self, symbol):
        """ Declares a constant symbol.

        Restrictions: Only after set-logic.

        :param symbol: Symbol to be declared
        :type name:  Pysmt symbol
        :returns: None
        """
        raise NotImplementedError
def declare_const ( self , symbol ) : raise NotImplementedError