def __init__(self, environment, logic, **options):
Solver.__init__(self, environment=environment, logic=logic, **options)
self.declarations = set()
self.yices = yicespy.yices_new_context(None)
# MG: TODO: Set options!!!
self.converter = YicesConverter(environment)
self.mgr = environment.formula_manager
self.model = None
self.failed_pushes = 0
return
def __init__(self, environment, logic, **options):
Solver.__init__(self,
environment=environment,
logic=logic,
**options)
self.declarations = set()
self.yices = yicespy.yices_new_context(None)
# MG: TODO: Set options!!!
self.converter = YicesConverter(environment)
self.mgr = environment.formula_manager
self.model = None
self.failed_pushes = 0
return
def __init__(self, environment, logic, **options):
Solver.__init__(self, environment=environment, logic=logic, **options)
self.declarations = set()
self.yices_config = yicespy.yices_new_config()
if yicespy.yices_default_config_for_logic(self.yices_config,
yices_logic(logic)) != 0:
warn("Error setting config for logic %s" % logic)
self.options(self)
self.yices = yicespy.yices_new_context(self.yices_config)
self.options.set_params(self)
yicespy.yices_free_config(self.yices_config)
self.converter = YicesConverter(environment)
self.mgr = environment.formula_manager
self.model = None
self.failed_pushes = 0
return
def __init__(self, environment, logic, **options):
Solver.__init__(self,
environment=environment,
logic=logic,
**options)
self.declarations = set()
self.yices_config = yicespy.yices_new_config()
if yicespy.yices_default_config_for_logic(self.yices_config,
yices_logic(logic)) != 0:
warn("Error setting config for logic %s" % logic)
self.options(self)
self.yices = yicespy.yices_new_context(self.yices_config)
self.options.set_params(self)
yicespy.yices_free_config(self.yices_config)
self.converter = YicesConverter(environment)
self.mgr = environment.formula_manager
self.model = None
self.failed_pushes = 0
return