예제 #1
0
 def walk_bv_rol(self, formula, args, **kwargs):
     res = yicespy.yices_rotate_left(args[0], formula.bv_rotation_step())
     self._check_term_result(res)
     return res
예제 #2
0
파일: yices.py 프로젝트: 0Chuzz/pysmt 
 def walk_bv_rol(self, formula, args, **kwargs):
     res = yicespy.yices_rotate_left(args[0], formula.bv_rotation_step())
     self._check_term_result(res)
     return res