Python yices_new_variable Examples

Example #1

 def _bound_symbol(self, var):
     symbol_type = var.symbol_type()
     var_type = self._type_to_yices(symbol_type)
     term = yicespy.yices_new_variable(var_type)
     yicespy.yices_set_term_name(term, var.symbol_name())
     return term

Example #2

File: yices.py Project: 0Chuzz/pysmt

 def _bound_symbol(self, var):
     symbol_type = var.symbol_type()
     var_type = self._type_to_yices(symbol_type)
     term = yicespy.yices_new_variable(var_type)
     yicespy.yices_set_term_name(term, var.symbol_name())
     return term