'block-1': True,
'block-4': True,
}
state0.on_table = {
'block-2': False,
'block-3': True,
'block-5': True,
'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()
new_tihtn_planner.declare_types({
'location': [
('city1', 'loc1'),
('city1', 'loc2'),
('city2', 'loc1'),
('city2', 'loc2'),
('city3', 'loc1'),
('city3', 'loc2'),
('city4', 'loc1'),
('city4', 'loc2'),
('city5', 'loc1'),
('city5', 'loc2'),
],
'truck': [
'truck1',
'truck2',
'truck3',
'truck4',
'truck5',
],
'plane': [
'plane1',
],
'pkg': [
'pkg1',
'pkg2',
'pkg3',
'pkg4',
'pkg5',
]
})
# coding=utf-8
import sys
sys.path.insert(0, './')
from satellite import *
import new_tihtn_planner
state0 = new_tihtn_planner.State('state0')
allow = False
state0.sate_num = 3
state0.inst_num = 11
state0.mode_num = 3
state0.direc_num = 5
state0.img_num = 4
state0.on_board = {'inst-1-1':'sate-1','inst-2-4':'sate-2','inst-1-2':'sate-1','sate-1':['inst-1-1', 'inst-1-2'],'sate-2':['inst-2-1', 'inst-2-2', 'inst-2-3', 'inst-2-4'],'sate-3':['inst-3-1', 'inst-3-2', 'inst-3-3', 'inst-3-4', 'inst-3-5'],'inst-3-3':'sate-3','inst-3-2':'sate-3','inst-3-1':'sate-3','inst-3-4':'sate-3','inst-2-2':'sate-2','inst-2-3':'sate-2','inst-3-5':'sate-3','inst-2-1':'sate-2',}
state0.mode = {'inst-1-1':'mode-1','inst-2-4':'mode-2','inst-1-2':'mode-1','mode-1':['inst-1-2', 'inst-1-1', 'inst-2-3', 'inst-3-1', 'inst-3-3', 'inst-3-5'],'mode-2':['inst-2-4', 'inst-3-2'],'mode-3':['inst-2-1', 'inst-2-2', 'inst-3-4'],'inst-3-3':'mode-1','inst-3-2':'mode-2','inst-3-1':'mode-1','inst-3-4':'mode-3','inst-2-2':'mode-3','inst-2-3':'mode-1','inst-3-5':'mode-1','inst-2-1':'mode-3',}
state0.calib_target = {'inst-1-1':'direc-2','inst-1-2':'direc-3','inst-2-3':'direc-1','inst-3-3':'direc-1','inst-3-2':'direc-2','inst-3-1':'direc-2','inst-3-4':'direc-1','inst-2-2':'direc-4','inst-2-4':'direc-4','inst-3-5':'direc-5','inst-2-1':'direc-3',}
state0.pointing = {'sate-1':'direc-1','sate-2':'direc-1','sate-3':'direc-4',}
state0.power_avail = {'sate-1':True,'sate-2':True,'sate-3':True,}
state0.power_on = {'inst-1-1':False,'inst-1-2':False,'inst-2-1':False,'inst-2-2':False,'inst-2-3':False,'inst-2-4':False,'inst-3-1':False,'inst-3-2':False,'inst-3-3':False,'inst-3-4':False,'inst-3-5':False,}
state0.calibrate = {'inst-1-1':False,'inst-1-2':False,'inst-2-1':False,'inst-2-2':False,'inst-2-3':False,'inst-2-4':False,'inst-3-1':False,'inst-3-2':False,'inst-3-3':False,'inst-3-4':False,'inst-3-5':False,}
state0.have_img = {'direc-1':{'mode-1': False,'mode-2': False,'mode-3': False,},'direc-2':{'mode-1': False,'mode-2': False,'mode-3': False,},'direc-3':{'mode-1': False,'mode-2': False,'mode-3': False,},'direc-4':{'mode-1': False,'mode-2': False,'mode-3': False,},'direc-5':{'mode-1': False,'mode-2': False,'mode-3': False,},}
new_tihtn_planner.declare_types({'satellite':['sate-1','sate-2','sate-3',],'instrument':['inst-1-1','inst-1-2','inst-2-1','inst-2-2','inst-2-3','inst-2-4','inst-3-1','inst-3-2','inst-3-3','inst-3-4','inst-3-5',],'mode':['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-1', 'mode-3'),('get_img','direc-4', 'mode-3'),('get_img','direc-4', 'mode-2'),('get_img','direc-1', 'mode-1'),], [[0, 1],[1, 2],[2, 3],],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()