(self, name, type_name)
return self.env.formula_manager.Symbol(name=name,
                                               typename=type_name)
Returns the PySMT variable corresponding to a declaration
Returns the PySMT variable corresponding to a declaration
Returns the PySMT variable corresponding to a declaration
def _get_var(self, name, type_name):
        """Returns the PySMT variable corresponding to a declaration"""
        return self.env.formula_manager.Symbol(name=name,
                                               typename=type_name)
def _get_var ( self , name , type_name ) : return self . env . formula_manager . Symbol ( name = name , typename = type_name )