'truck4', 'truck5', ], 'plane': [ 'plane1', ], 'pkg': [ 'pkg1', 'pkg2', 'pkg3', ] }) new_tihtn_planner.declare_funs({ load_plane: ['pkg', 'location', 'plane'], load_truck: ['pkg', 'location', 'truck'], by_plane: ['plane', 'location'], drive_truck: ['truck', 'location'], unload_truck: ['pkg', 'location', 'truck'], unload_plane: ['pkg', 'location', 'plane'] }) new_tihtn_planner.instance() def execute(completable): return new_tihtn_planner.pyhop(completable, allow, state0, [ ('delievery', 'pkg1', ('city4', 'loc2')), ('delievery', 'pkg2', ('city1', 'loc2')), ('delievery', 'pkg3', ('city5', 'loc1')), ], [ [0, 1], [1, 2], ], 9)
'mode-1', 'mode-2', 'mode-3', ], 'direction': [ 'direc-1', 'direc-2', 'direc-3', 'direc-4', 'direc-5', ] }) new_tihtn_planner.declare_funs({ switch_off: ['satellite'], switch_on: ['instrument', 'satellite'], turn_to: ['satellite', 'direction'], calibrate: ['instrument', 'satellite', 'direction'], take_img: ['satellite', 'direction', 'instrument', 'mode'] }) new_tihtn_planner.instance() def execute(completable): return new_tihtn_planner.pyhop(completable, allow, state0, [ ('get_img', 'direc-5', 'mode-1'), ('get_img', 'direc-5', 'mode-2'), ('get_img', 'direc-2', 'mode-1'), ('get_img', 'direc-5', 'mode-3'), ], [ [0, 1], [1, 2],
#!/usr/bin/env python # coding=utf-8 import sys sys.path.insert(0, './') from blockworld import * import new_tihtn_planner state0 = new_tihtn_planner.State('state0') allow = False state0.on = {'block-2':False,'block-3':'block-2','block-5':False,'block-1':'block-5','block-4':False,} state0.down = {'block-2':'block-3','block-3':False,'block-5':'block-1','block-1':False,'block-4':False,} state0.clear = {'block-2':True,'block-3':False,'block-5':True,'block-1':False,'block-4':True,} state0.on_table = {'block-2':False,'block-3':True,'block-5':False,'block-1':True,'block-4':True,} state0.holding = False new_tihtn_planner.declare_types({'block':['block-1','block-2','block-3','block-4','block-5',],'nothing':[()]}) new_tihtn_planner.declare_funs({pick_up:['block'],put_down:['block'],stack:['block', 'block'],checkpile1:['nothing'],checkpile2:['nothing'],checkpile3:['nothing'],checkpile4:['nothing']}) new_tihtn_planner.instance() def execute(completable): return new_tihtn_planner.pyhop(completable, allow, state0,[('tower5','block-1','block-2', 'block-3', 'block-4', 'block-5')], [],9) def add_methods(fun_obj_list): for fun in fun_obj_list: new_tihtn_planner.add_method(fun.func_name.split('__')[0], fun) def reverse_methods(): new_tihtn_planner.reverse_methods()