def run_hylaa(settings, init_r, usafe_r):
ha, usafe_set_constraint_list = define_ha(settings, usafe_r)
init = define_init_states(ha, init_r)
engine = HylaaEngine(ha, settings)
reach_tree = engine.run(init)
return PVObject(len(ha.variables), usafe_set_constraint_list, reach_tree)
def run_hylaa(settings, init_r, usafe_r):
'''run hylaa with the given settings, returning the HylaaResult object.'''
ha, usafe_set_constraint_list = define_ha(settings, usafe_r)
init = define_init_states(ha, init_r)
engine = HylaaEngine(ha, settings)
reach_tree = engine.run(init)
return PVObject(len(ha.variables), usafe_set_constraint_list, reach_tree)