Python Interpolatorの例

コード例 #1

 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

ファイル: interpolator.py プロジェクト: btwael/pysmt

 def __init__(self, args, environment, logic, LOGICS=None, **options):
     Interpolator.__init__(self)
     options["produce_interpolants"] = True
     self.options = (args, environment, logic, LOGICS, options)

コード例 #3

ファイル: 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

ファイル: msat.py プロジェクト: diasalvatore/pysmt

 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