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)