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)