Ejemplos de yices_new_variable en Python

Lenguaje de programación: Python

Namespace/Package Name: yicespy

Método / Función: yices_new_variable

Ejemplos en hotexamples.com: 2

Python yices_new_variable - 2 ejemplos encontrados. Estos son los ejemplos en Python del mundo real mejor valorados de yicespy.yices_new_variable extraídos de proyectos de código abierto. Puedes valorar ejemplos para ayudarnos a mejorar la calidad de los ejemplos.

Ejemplo n.º 1

Mostrar archivo

 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

Ejemplo n.º 2

Mostrar archivo

Archivo: yices.py Proyecto: 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