def get_init():
init_pos = create_expressions(['At(Spare, Trunk)', 'At(Flat, Axle)'])
init_neg = []
return FluentState(init_pos, init_neg)
def air_cargo_p1():
cargos = ['C1', 'C2']
planes = ['P1', 'P2']
airports = ['JFK', 'SFO']
at_relations = make_relations('At', cargos + planes, airports)
in_relations = make_relations('In', cargos, planes)
pos = create_expressions([
'At(C1, SFO)',
'At(C2, JFK)',
'At(P1, SFO)',
'At(P2, JFK)',
])
init = FluentState(pos, [r for r in at_relations + in_relations if r not in pos])
goal = create_expressions(['At(C1, JFK)', 'At(C2, SFO)'])
return AirCargoProblem(cargos, planes, airports, init, goal)
def get_init():
pos = have_relations
neg = eaten_relations
return FluentState(pos, neg)