def __init__(self, settings={}, tab=' ', level=0, array_format='C', epsilon_nan=0, epsilon_inf=0, epsilon_power=1, assertions=False, contracts=False, postcheck_hooks=False, do_cse=True, user_exprs=[]): CCodePrinter.__init__(self, settings) self._some_vars = SomeVars() self._value_type = 'double' self._relational_type = 'int' self._assignments_values = dict() self._decls = dict() self._varid = dict() self._declared = dict() self._affcts = dict() self._cond_affcts = dict() self._tab = tab self._level = level self._do_cse = do_cse self._array_format = array_format self._epsilon_nan = epsilon_nan self._epsilon_inf = epsilon_inf self._epsilon_power = epsilon_power self._assertions = assertions self._contracts = contracts self._postcheck_hooks = postcheck_hooks self._current_condition = None self._sign = dict() self._user_exprs = user_exprs self._var_asserts = {}
def __init__(self, settings={}): CCodePrinter.__init__(self, settings)
def __init__(self, settings={}): CCodePrinter.__init__(self, settings) custom_functions = {'INT': '(int)', 'FLOAT': '(float)'} self.known_functions.update(custom_functions)
def __init__(self, settings={}): settings = dict(settings) userfuncs = settings.setdefault('user_functions', {}) for k, v in known_functions.items(): userfuncs.setdefault(k, v) CCodePrinter.__init__(self, settings)
def __init__(self, settings={}): CCodePrinter.__init__(self, settings) self.known_functions.update(self.custom_functions)