示例#1
0
 def __init__(self, environment, logic=None):
     Interpolator.__init__(self)
     self.environment = environment
     self.logic = logic
     self.converter = Z3Converter(environment, z3_ctx=z3.main_ctx())
示例#2
0
 def __init__(self, args, environment, logic, LOGICS=None, **options):
     Interpolator.__init__(self)
     options["produce_interpolants"] = True
     self.options = (args, environment, logic, LOGICS, options)
示例#3
0
文件: z3.py 项目: mpreiner/pysmt
 def __init__(self, environment, logic=None):
     Interpolator.__init__(self)
     self.environment = environment
     self.logic = logic
     self.converter = Z3Converter(environment, z3_ctx=z3.main_ctx())
示例#4
0
 def __init__(self, environment, logic=None):
     Interpolator.__init__(self)
     self.msat_env = MSatEnv()
     self.converter = MSatConverter(environment, self.msat_env)
     self.environment = environment
     self.logic = logic