Esempi in Python per CVCInteger.variable

Esempio n. 1

 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

Esempio n. 2

File: exprbuilder.py Progetto: tlubin/xert

 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