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={}):
CCodePrinter.__init__(self, settings)
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)
