def _getVariable(self, symbolic_var): name = symbolic_var.name if name in self.cvc_vars: return self.cvc_vars[name] variable = None if isinstance(symbolic_var, SymbolicInteger): variable = CVCInteger.variable(name, self.solver) elif isinstance(symbolic_var, SymbolicStr): variable = CVCString.variable(name, self.solver) self.cvc_vars[name] = variable return variable