(plan, new_plan)
| 2 | from utils.tarski_utils import is_plan |
| 3 | |
| 4 | def is_subsequence(plan, new_plan): |
| 5 | i = 0 |
| 6 | for a in plan: |
| 7 | if a == new_plan[i]: |
| 8 | i+=1 |
| 9 | if len(new_plan) == i: |
| 10 | # Done |
| 11 | return True |
| 12 | return False |
| 13 | |
| 14 | def is_subsequence_and_plan(domain, problem, plan, new_plan): |
| 15 | if len(plan) <= len(new_plan): |
no outgoing calls
no test coverage detected