Function type2python

3rdParty/isl/interface/python.cc:46–49

Drop the "isl_" initial part of the type name "name". */

/* Drop the "isl_" initial part of the type name "name".
 */
static string type2python(string name)
{
	return name.substr(4);
}

/* Print the header of the method "name" with "n_arg" arguments.
 * If "is_static" is set, then mark the python method as static.