def _create_varfunc(self, quant, name):
assert quant != None
if not self.debug and self.rename:
name = 'VARFUNC'
else:
name = name.split(':')[0]
node = Node(NodeType.VARFUNC, name)
node.quant = quant
quant.vfunc.append(node)
self.graph.append(node)
return node
def _create_var(self, quant, name):
'''Create and return a Var node
This function won't declare the variable!
Parameters
----------
quant : Quant
Quantifier that quantifies this variable.
Returns
-------
Node
A newly created variable node
'''
assert quant != None
if not self.debug and self.rename:
name = 'VAR'
else:
name = name.split(':')[0]
node = Node(NodeType.VAR, name)
node.quant = quant
quant.vvalue = node
self.graph.append(node)
return node