(self, name, 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_quantified_var(self, name, type_name):
        """Returns the PySMT variable corresponding to a declaration"""
        try:
            return self._get_var(name, type_name)
        except PysmtTypeError:
            return self.env.formula_manager.FreshSymbol(typename=type_name,
                                                        template=name+"%d")
def _get_quantified_var ( self , name , type_name ) : try : return self . _get_var ( name , type_name ) except PysmtTypeError : return self . env . formula_manager . FreshSymbol ( typename = type_name , template = name + "%d" )